%0 Conference Paper %1 conf/agp/AlpuenteBEFL03 %A Alpuente, María %A Ballis, Demis %A Escobar, Santiago %A Falaschi, Moreno %A Lucas, Salvador %B APPIA-GULP-PRODE %D 2003 %E Buccafurri, Francesco %K dblp %P 422-433 %T Abstract Correction of OBJ-like Programs. %U http://dblp.uni-trier.de/db/conf/agp/agp2003.html#AlpuenteBEFL03

@inproceedings{conf/agp/AlpuenteBEFL03, added-at = {2020-11-10T00:00:00.000+0100}, author = {Alpuente, María and Ballis, Demis and Escobar, Santiago and Falaschi, Moreno and Lucas, Salvador}, biburl = {https://www.bibsonomy.org/bibtex/27401e977e2ca8256fa9808ac35c55bcf/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/2003}, editor = {Buccafurri, Francesco}, interhash = {aefc0032f0cead5f7145dc09b85055a5}, intrahash = {7401e977e2ca8256fa9808ac35c55bcf}, keywords = {dblp}, pages = {422-433}, timestamp = {2020-11-11T11:42:17.000+0100}, title = {Abstract Correction of OBJ-like Programs.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp2003.html#AlpuenteBEFL03}, year = 2003 }