The Collection of
Computer Science Bibliographies

The VDM++ Bibliography

Number of references:	97	Last update:	March 30, 2009
Number of online publications:	17	Supported:	yes
Most recent reference:	July 2008

Author:: Peter Gorm Larsen <pgl @ iha . dk> (email mangled to prevent spamming)
Engineering College of Aarhus
Computer Technology & Embedded Systems
Dalgas Avenue 2
DK-8000 Aarhus C
Denmark
Abstract:: References about the formal method VDM++ which is an object oriented extension to ordinary VDM
Keywords:: Software Engineering, Formal Methods

Types:: inproceedings(35), techreport(19), article(12), misc(9), book(6), manual(5), mastersthesis(4), inbook(3), phdthesis(2), incollection(1), unpublished(1)
Fields:: title(97), key(95), year(95), author(94), month(58), comment(55), booktitle(36), publisher(33), pages(30), note(25), institution(23), editor(19), address(15), size(11), organization(9), url(9), number(8), isbn(7), journal(7), school(6), series(6), volume(6), chapter(3), howpublished(3), annote(2), doi(1), doi-url(1), edition(1), location(1), text(1), type(1)
Distribution of publication dates: