Dines Bjørner, C.A.R. Hoare, Hans Langmaack

VDM '90. VDM and Z - Formal Methods in Software Development - 1990 - Springer Berlin Heidelberg 1990 - Lecture Notes in Computer Science .

9783540470069


Computer Science