%0 Conference Paper %1 conf/sbes/MeiraS91 %A de Lemos Meira, Silvio Romero %A dos Santos, Cássio Souza %B SBES %D 1991 %E da Silva Bigonha, Roberto %I SBC %K dblp %P 221-236 %T SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk. %U http://dblp.uni-trier.de/db/conf/sbes/sbes1991.html#MeiraS91

@inproceedings{conf/sbes/MeiraS91, added-at = {2024-01-10T00:00:00.000+0100}, author = {de Lemos Meira, Silvio Romero and dos Santos, Cássio Souza}, biburl = {https://www.bibsonomy.org/bibtex/26f3799d002c4e61ac78801137a6e60da/dblp}, booktitle = {SBES}, crossref = {conf/sbes/1991}, editor = {da Silva Bigonha, Roberto}, ee = {https://doi.org/10.5753/sbes.1991.24269}, interhash = {329cfc2cdd3428e31e484823e7ad455e}, intrahash = {6f3799d002c4e61ac78801137a6e60da}, keywords = {dblp}, pages = {221-236}, publisher = {SBC}, timestamp = {2024-04-09T16:00:40.000+0200}, title = {SmallVDM: An Environment for Formal Specification and Prototyping in Smalltalk.}, url = {http://dblp.uni-trier.de/db/conf/sbes/sbes1991.html#MeiraS91}, year = 1991 }