Skip to content
Vinony

The Correctness-by-Construction Approach to Programming

by Derrick G. Kourie, Bruce W. Watson

Cover of The Correctness-by-Construction Approach to Programming

No description available.

Software engineeringSystem design
The Correctness-by-Construction Approach to Programming by Derrick G. Kourie, Bruce W. Watson — book · Vinony