Derrick G. Kourie

Sách
The Correctness-by-Construction Approach to Programming The Correctness-by-Construction Approach to Programming
The Correctness-by-Construction Approach to Programming
2012