%0 Conference Paper %1 conf/iclp/FarkasSS82 %A Farkas, Zsuzsa %A Szeredi, Péter %A Sántáné-Tóth, Edit %B ICLP %D 1982 %E Caneghem, Michel Van %I ADDP-GIA %K dblp %P 123-128 %T LDM: A Program Specification Support System. %U http://dblp.uni-trier.de/db/conf/iclp/iclp82.html#FarkasSS82

@inproceedings{conf/iclp/FarkasSS82, added-at = {2013-11-29T00:00:00.000+0100}, author = {Farkas, Zsuzsa and Szeredi, Péter and Sántáné-Tóth, Edit}, biburl = {https://www.bibsonomy.org/bibtex/22e588e97d079cbb47b9db060f9312af7/dblp}, booktitle = {ICLP}, crossref = {conf/iclp/1982}, editor = {Caneghem, Michel Van}, interhash = {95f73ad2f80f2a08082d45d32d008173}, intrahash = {2e588e97d079cbb47b9db060f9312af7}, keywords = {dblp}, pages = {123-128}, publisher = {ADDP-GIA}, timestamp = {2013-11-30T11:33:19.000+0100}, title = {LDM: A Program Specification Support System.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp82.html#FarkasSS82}, year = 1982 }