The Collection of
Computer Science Bibliographies
Up: Bibliographies on Software/Hardware Engineering and Formal Methods Collection Home

The VDM Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:719Last update:February 23, 2001
Number of online publications:23Supported:Unknown
Most recent reference:2001

Information on the Bibliography

Author:
Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
The Institute of Applied Computer Science (IFAD)
Forskerparken 10
DK-5230 Odense M
Denmark
Abstract:
This is a bibliography on the Vienna Development Method (VDM)
Keywords:
Vienna Development Method

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(224), techreport(191), article(110), incollection(63), book(41), phdthesis(29), mastersthesis(26), misc(17), inbook(10), unpublished(5), manual(3)
Fields:
key(719), title(719), year(716), author(698), month(438), comment(424), pages(306), booktitle(288), publisher(262), size(247), institution(189), number(164), address(162), annote(150), editor(137), note(115), journal(106), volume(100), organization(74), type(56), school(55), series(28), chapter(22), url(10), postscript(8), howpublished(5), edition(2), danann(1), pdf(1)

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.