Correctness-by-Construction Approach to Programming
-
e-bok
,
Engelsk, 2012