The Correctness-by-Construction Approach to Programming
by Derrick G. Kourie, Bruce W. Watson
Software engineeringSystem design
Writing a summary for young readers…
For young readers
Book data: Open Library
by Derrick G. Kourie, Bruce W. Watson
Book data: Open Library