%0 Conference Paper %1 conf/agp/CharlierLRC97 %A Charlier, Baudouin Le %A Leclère, Christophe %A Rossi, Sabina %A Cortesi, Agostino %B APPIA-GULP-PRODE %D 1997 %E Falaschi, Moreno %E Navarro, Marisa %E Policriti, Alberto %K dblp %P 189-200 %T Automated Behavioural Verification of Prolog Programs. %U http://dblp.uni-trier.de/db/conf/agp/agp1997.html#CharlierLRC97

@inproceedings{conf/agp/CharlierLRC97, added-at = {2004-12-02T00:00:00.000+0100}, author = {Charlier, Baudouin Le and Leclère, Christophe and Rossi, Sabina and Cortesi, Agostino}, biburl = {https://www.bibsonomy.org/bibtex/2975d7964d45b5a0194fa46408b12b861/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1997}, date = {2004-12-02}, description = {dblp}, editor = {Falaschi, Moreno and Navarro, Marisa and Policriti, Alberto}, interhash = {3b786bd226ef9666c35f9505ae65f8d5}, intrahash = {975d7964d45b5a0194fa46408b12b861}, keywords = {dblp}, pages = {189-200}, timestamp = {2004-12-02T00:00:00.000+0100}, title = {Automated Behavioural Verification of Prolog Programs.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1997.html#CharlierLRC97}, year = 1997 }