The Collection of
Computer Science Bibliographies

The VDM++ Bibliography

[   About   |  Browse   |   Statistics   ]

Number of references:105Last update:August 9, 2011
Number of online publications:0Supported:yes
Most recent reference:December 2010

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
References about the formal method VDM++ which is an object oriented extension to ordinary VDM
Software Engineering, Formal Methods

Browsing the bibliography

Bibliographic Statistics

inproceedings(42), techreport(20), article(12), misc(9), mastersthesis(7), manual(5), book(4), inbook(3), phdthesis(3)
title(105), key(104), year(103), author(102), month(70), comment(65), booktitle(40), pages(36), publisher(36), note(26), institution(24), editor(21), address(17), size(14), journal(10), number(10), organization(10), school(10), volume(9), url(8), series(7), isbn(6), chapter(3), howpublished(3), annote(1), doi(1), doi-url(1), edition(1), issn(1), location(1), text(1), type(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!