%0 Conference Paper %1 conf/agp/MorilloB98 %A Morillo, Francisco José Galán %A Bonilla, M. Toro %B APPIA-GULP-PRODE %D 1998 %E Freire-Nistal, José Luis %E Falaschi, Moreno %E Ferro, Manuel Vilares %K dblp %P 125-136 %T Object Oriented Software Systems Defined by Constructive Logical Methods. %U http://dblp.uni-trier.de/db/conf/agp/agp1998.html#MorilloB98

@inproceedings{conf/agp/MorilloB98, added-at = {2004-12-02T00:00:00.000+0100}, author = {Morillo, Francisco José Galán and Bonilla, M. Toro}, biburl = {https://www.bibsonomy.org/bibtex/2ecc4855f7730506d9e23104438a5ac40/dblp}, booktitle = {APPIA-GULP-PRODE}, crossref = {conf/agp/1998}, date = {2004-12-02}, description = {dblp}, editor = {Freire-Nistal, José Luis and Falaschi, Moreno and Ferro, Manuel Vilares}, interhash = {b71a4c35e2ff4003bdeb49d7965dcfe8}, intrahash = {ecc4855f7730506d9e23104438a5ac40}, keywords = {dblp}, pages = {125-136}, timestamp = {2007-11-22T10:34:25.000+0100}, title = {Object Oriented Software Systems Defined by Constructive Logical Methods.}, url = {http://dblp.uni-trier.de/db/conf/agp/agp1998.html#MorilloB98}, year = 1998 }