%0 Conference Paper %1 conf/ifip/LarsenAMB89 %A Larsen, Peter Gorm %A Arentoft, Michael Meincke %A Monahan, Brian Q. %A Bear, Stephen %B IFIP Congress %D 1989 %E Ritter, Gerhard X. %I North-Holland/IFIP %K dblp %P 95-100 %T Towards a Formal Semantics of the BS/VDM Specification Language. %U http://dblp.uni-trier.de/db/conf/ifip/ifip89.html#LarsenAMB89 %@ 0-444-88015-1

@inproceedings{conf/ifip/LarsenAMB89, added-at = {2019-07-28T00:00:00.000+0200}, author = {Larsen, Peter Gorm and Arentoft, Michael Meincke and Monahan, Brian Q. and Bear, Stephen}, biburl = {https://www.bibsonomy.org/bibtex/27f9db0e4861d4413f54abcdee38bf183/dblp}, booktitle = {IFIP Congress}, crossref = {conf/ifip/1989}, editor = {Ritter, Gerhard X.}, interhash = {e247ee52543ec620ce56cdbeb5dff9ad}, intrahash = {7f9db0e4861d4413f54abcdee38bf183}, isbn = {0-444-88015-1}, keywords = {dblp}, pages = {95-100}, publisher = {North-Holland/IFIP}, timestamp = {2024-04-09T12:18:46.000+0200}, title = {Towards a Formal Semantics of the BS/VDM Specification Language.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip89.html#LarsenAMB89}, year = 1989 }