%0 Conference Paper %1 conf/agp/Miller95 %A Miller, Dale %B GULP-PRODE %D 1995 %E Alpuente, María %E Sessa, Maria I. %K dblp %P 61-70 %T Observations about Using Logic as a Specification Language. %U http://dblp.uni-trier.de/db/conf/agp/gulp-prode1995.html#Miller95

@inproceedings{conf/agp/Miller95, added-at = {2004-11-29T00:00:00.000+0100}, author = {Miller, Dale}, biburl = {https://www.bibsonomy.org/bibtex/2362ce096c3351baca1c08afe62371d3c/dblp}, booktitle = {GULP-PRODE}, crossref = {conf/agp/1995}, date = {2004-11-29}, description = {dblp}, editor = {Alpuente, María and Sessa, Maria I.}, interhash = {4f94d36fbb87b5c5053b742f0cf0e704}, intrahash = {362ce096c3351baca1c08afe62371d3c}, keywords = {dblp}, pages = {61-70}, timestamp = {2004-11-29T00:00:00.000+0100}, title = {Observations about Using Logic as a Specification Language.}, url = {http://dblp.uni-trier.de/db/conf/agp/gulp-prode1995.html#Miller95}, year = 1995 }