The Collection of
Computer Science Bibliographies

The VDM Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:870Last update:February 6, 2008
Number of online publications:114Supported:yes
Most recent reference:February 2008

Information on the Bibliography

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

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!