Program Correctness: Example

Open as Template View Source Download PDF

Author

Hans-Dieter Hiep

License

Creative Commons CC BY 4.0

Abstract

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

Tags

Find More Examples

Program Correctness: Example