The Collection of
Computer Science Bibliographies

The VDM Bibliography

Number of references:	961	Last update:	August 9, 2011
Number of online publications:	132	Supported:	yes
Most recent reference:	2011

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:: This is a bibliography on the Vienna Development Method (VDM)
Keywords:: Vienna Development Method

Types:: inproceedings(342), techreport(225), article(159), incollection(65), book(45), mastersthesis(42), phdthesis(34), misc(27), inbook(10), unpublished(7), manual(4), proceedings(1)
Fields:: title(961), key(957), year(956), author(935), month(599), comment(592), pages(420), booktitle(405), publisher(371), size(279), address(230), number(225), institution(223), editor(179), annote(157), journal(156), volume(147), note(122), organization(88), school(76), type(60), series(40), url(38), isbn(34), chapter(22), doi(9), doi-url(9), howpublished(8), postscript(8), issn(6), location(6), edition(3), abstract(1), contents(1), danann(1), eprint(1), issue(1), pdf(1), text(1)
Distribution of publication dates: