Verified Software. Theories, Tools, and Experiments
-
e-bok
,
Engelska, 2017