VDM '90. VDM and Z - Formal Methods in Software Development
-
häftad
,
Engelska, 1990