%0 Conference Paper %1 conf/tools/DurrK92 %A Dürr, Eugène %A van Katwijk, Jan %B TOOLS (7) %D 1992 %E Heeg, Georg %E Magnusson, Boris %E Meyer, Bertrand %I Prentice Hall %K dblp %P 63-77 %T VDM++, A Formal Specification Language for OO Designs. %U http://dblp.uni-trier.de/db/conf/tools/tools07-1992.html#DurrK92 %@ 0-13-917436-2

@inproceedings{conf/tools/DurrK92, added-at = {2007-03-19T00:00:00.000+0100}, author = {Dürr, Eugène and van Katwijk, Jan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2434ddf8ef8c2cd20db7e09c8eb3594a6/dblp}, booktitle = {TOOLS (7)}, crossref = {conf/tools/7-1992}, editor = {Heeg, Georg and Magnusson, Boris and Meyer, Bertrand}, interhash = {31edf411e9e0314559e312e2ecc45997}, intrahash = {434ddf8ef8c2cd20db7e09c8eb3594a6}, isbn = {0-13-917436-2}, keywords = {dblp}, pages = {63-77}, publisher = {Prentice Hall}, timestamp = {2016-02-02T15:05:32.000+0100}, title = {VDM++, A Formal Specification Language for OO Designs.}, url = {http://dblp.uni-trier.de/db/conf/tools/tools07-1992.html#DurrK92}, year = 1992 }