Suggested Topics within your search.
Showing 1 - 3 results of 3 for search '', query time: 0.10s Refine Results
1
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book
2
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
Berlin ; New York : Springer-Verlag, 1987

Conference Proceeding Book
3
VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
Berlin ; New York : Springer-Verlag, 1990

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search