%0 Conference Paper %1 conf/forte/PiresS90 %A Pires, Luís Ferreira %A de Souza, Wanderley Lopes %B FORTE %D 1990 %E Quemada, Juan %E Mañas, José A. %E Vázquez, Enrique %I North-Holland %K dblp %P 255-262 %T Step-wise Refinement Design Example Using LOTOS. %U http://dblp.uni-trier.de/db/conf/forte/forte1990.html#PiresS90 %@ 0-444-89024-6

@inproceedings{conf/forte/PiresS90, added-at = {2002-01-03T00:00:00.000+0100}, author = {Pires, Luís Ferreira and de Souza, Wanderley Lopes}, biburl = {https://www.bibsonomy.org/bibtex/2ac47be731cafdc597c501fb4781a4e45/dblp}, booktitle = {FORTE}, crossref = {conf/forte/1990}, date = {2002-01-03}, description = {dblp}, editor = {Quemada, Juan and Mañas, José A. and Vázquez, Enrique}, interhash = {8bb0b52611b824240ba841cb646d1dc0}, intrahash = {ac47be731cafdc597c501fb4781a4e45}, isbn = {0-444-89024-6}, keywords = {dblp}, pages = {255-262}, publisher = {North-Holland}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Step-wise Refinement Design Example Using LOTOS.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte1990.html#PiresS90}, year = 1990 }