The Collection of
Computer Science Bibliographies

The VDM++ Bibliography

Number of references:	78	Last update:	February 6, 2008
Number of online publications:	13	Supported:	yes
Most recent reference:	February 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(31), techreport(19), misc(9), article(6), manual(5), inbook(3), book(2), mastersthesis(2), phdthesis(1)
Fields:: key(78), title(78), year(76), author(75), comment(52), month(49), booktitle(31), publisher(25), pages(24), institution(23), note(23), editor(17), address(12), size(11), organization(9), number(7), url(7), journal(6), isbn(5), series(5), volume(5), chapter(3), howpublished(3), school(3), text(1), type(1)
Distribution of publication dates: