The VDM++ Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:	49	Last update:	February 23, 2001
Number of online publications:	1	Supported:	yes
Most recent reference:	October 2000

Information on the Bibliography

Author:

Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
IFAD
Forskerparken 10
DK-5230 Odense M
Denmark

Abstract:

References about the formal method VDM++ which is an object oriented extension to ordinary VDM

Keywords:

Software Engineering, Formal Methods

Browsing the bibliography

• Original source:

  ftp://ftp.ifad.dk... (Format: bibtex, compressed with gzip)

Bibliographic Statistics

Types:

inproceedings(19), techreport(14), manual(5), article(3), inbook(3), book(2), misc(2), phdthesis(1)

Fields:

key(49), title(49), year(49), author(46), comment(34), month(29), booktitle(19), institution(18), note(18), publisher(18), pages(14), editor(12), address(7), size(7), organization(6), series(4), chapter(3), journal(3), number(3), volume(3), school(1), type(1), url(1)

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.