Program Correctness: Example

Author
Hans-Dieter Hiep
License
Creative Commons CC BY 4.0
Abstract

An example that shows how to write proof outlines in LaTeX.

Program Correctness: Example