![](/img/cover-not-exists.png)
The Correctness-by-Construction Approach to Programming || Simple Examples
Kourie, Derrick G., Watson, Bruce W.Volume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-27919-5_3
File:
PDF, 393 KB
english, 2012