%0 Conference Paper %1 conf/jfplc/DeransartF85 %A Deransart, Pierre %A Ferrand, Gérard %B SPLT %D 1985 %E Bourgault, Serge %E Dincbas, Mehmet %K dblp %T Détection d'erreurs en programmation en logique. %U http://dblp.uni-trier.de/db/conf/jfplc/jfplc1985.html#DeransartF85

@inproceedings{conf/jfplc/DeransartF85, added-at = {2004-09-06T00:00:00.000+0200}, author = {Deransart, Pierre and Ferrand, Gérard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dc1d8d2e0f0803e071b926902318be70/dblp}, booktitle = {SPLT}, crossref = {conf/jfplc/1985}, editor = {Bourgault, Serge and Dincbas, Mehmet}, interhash = {3df19e2e63a831a59f03f2bfb862fdfc}, intrahash = {dc1d8d2e0f0803e071b926902318be70}, keywords = {dblp}, timestamp = {2016-02-02T15:56:07.000+0100}, title = {Détection d'erreurs en programmation en logique.}, url = {http://dblp.uni-trier.de/db/conf/jfplc/jfplc1985.html#DeransartF85}, year = 1985 }