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