%0 Conference Paper %1 conf/sbes/DurrGK96 %A Dürr, Eugène %A Goldsack, Stephen J. %A van Katwijk, Jan %B SBES %D 1996 %E Masiero, Paulo César %E Maldonado, José Carlos %I SBC %K dblp %P 57-72 %T Real Time Formal Specification using VDM++. %U http://dblp.uni-trier.de/db/conf/sbes/sbes1996.html#DurrGK96

@inproceedings{conf/sbes/DurrGK96, added-at = {2024-01-17T00:00:00.000+0100}, author = {Dürr, Eugène and Goldsack, Stephen J. and van Katwijk, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2ec7387865d68a7d582fb4af5c41f8ae0/dblp}, booktitle = {SBES}, crossref = {conf/sbes/1996}, editor = {Masiero, Paulo César and Maldonado, José Carlos}, ee = {https://doi.org/10.5753/sbes.1996.24437}, interhash = {43d96df479d1379a8a60ca40809fdbd5}, intrahash = {ec7387865d68a7d582fb4af5c41f8ae0}, keywords = {dblp}, pages = {57-72}, publisher = {SBC}, timestamp = {2024-04-09T16:00:54.000+0200}, title = {Real Time Formal Specification using VDM++.}, url = {http://dblp.uni-trier.de/db/conf/sbes/sbes1996.html#DurrGK96}, year = 1996 }