The Collection of
The VDM Bibliography
[ About | Browse | Statistics ]
Number of references: 870 Last update: February 6, 2008 Number of online publications: 114 Supported: yes
Most recent reference: February 2008
Author: Peter Gorm Larsen <pgl @ iha . dk> (email mangled to prevent spamming) Engineering College of Aarhus Abstract:
This is a bibliography on the Vienna Development Method (VDM)
Keywords:
Vienna Development Method
Types: inproceedings(295), techreport(210), article(143),
incollection(64), book(45), mastersthesis(33),
phdthesis(32), misc(25), inbook(10), manual(8),
unpublished(5) Fields: title(870), key(869), year(865), author(848),
month(531), comment(529), pages(383), booktitle(358),
publisher(335), size(258), institution(213),
address(212), number(199), editor(160), annote(156),
journal(140), volume(131), note(114), organization(90),
school(64), type(56), url(36), series(31), isbn(29),
chapter(22), howpublished(9), postscript(8), doi(7),
doi-url(7), issn(5), location(4), edition(2),
contents(1), danann(1), pdf(1), text(1) Distribution of publication dates:
