Derrick G. Kourie

도서
The Correctness-by-Construction Approach to Programming The Correctness-by-Construction Approach to Programming
The Correctness-by-Construction Approach to Programming
2012년