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

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

Valid XHTML 1.1!  Valid CSS!