Formal Specification Techniques for Engineering Modular C Programs
-
heftet
,
Engelsk, 2012