Online Public Access Catalogue (OPAC)Library,Documentation and Information Science Division
“A research journal serves that narrow
borderland which separates the known from the unknown”
-P.C.Mahalanobis
5.3 V662(3) 110414
International Symposium of VDM Europe Kiel(3rd:1990) , VDM Europe Keil VDM'90:VDM and Z-Formal methods in software development Berlin Springer verlag 1990 579p. * Computer science