The Collection of
Computer Science Bibliographies

The VDM Bibliography

[   About   |  Browse   |   Statistics   ]

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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

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

Browsing the bibliography

Bibliographic Statistics

inproceedings(342), techreport(225), article(159), incollection(65), book(45), mastersthesis(42), phdthesis(34), misc(27), inbook(10), unpublished(7), manual(4), proceedings(1)
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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!