3. VDM Europe 1990:
Kiel,
Germany
Dines Bjørner, C. A. R. Hoare, Hans Langmaack (Eds.):
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings.
Lecture Notes in Computer Science 428 Springer 1990, ISBN 3-540-52513-0 BibTeX
@proceedings{DBLP:conf/fm/1990,
editor = {Dines Bj{\o}rner and
C. A. R. Hoare and
Hans Langmaack},
title = {VDM '90, VDM and Z - Formal Methods in Software Development,
Third International Symposium of VDM Europe, Kiel, FRG, April
17-21, 1990, Proceedings},
booktitle = {VDM Europe},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {428},
year = {1990},
isbn = {3-540-52513-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Applications
Specification Methodology
Design Methodology
Modularity
Object Orientedness
Processes,
Concurrency and Distributed Systems
Formalisations
Type Systems
Foundations
Copyright © Sat May 16 23:12:14 2009
by Michael Ley (ley@uni-trier.de)
