The Correctness-by-Construction Approach to Programming - Kourie, Derrick G.; Watson, Bruce W. (Springer-Verlag Berlin Heidelberg, 2012)
Keywords: Information Technology -- Software Engineering