VDM '90. VDM and Z - Formal Methods in Software Development
-
heftet
,
Engelsk, 1990