Guide to Software Verification with Frama-C
-
inbunden
,
Engelska, 2024