Abstract State Machines, Alloy, B and Z
-
häftad
,
Engelska, 2010