- Textbook
- Undergraduate
Formal Methods, Informally
How to Write Programs That Work
Author:
Publication date:
19 February 2026
Skip to main content Accessibility help
Internet Explorer 11 is being discontinued by Microsoft in August 2021.
If you have difficulties viewing the site on Internet Explorer 11 we
recommend using a different browser such as Microsoft Edge, Google
Chrome, Apple Safari or Mozilla Firefox.
Tip: Use " " for exact phrase matches (e.g. "Economic History")
Search results
Showing 1-1 of 1 results
Keyword: correctness