Critical Systems: Formal Methods and Automated Verification
-
häftad
,
Engelska, 2016