Additional material about Hoare Logic (in Norwegian)
The following compendium could be useful for a deeper understanding of Hoare Logic.
It focuses on sequential programs and is written in Norwegian.
Published Oct. 10, 2017 10:27 AM
- Last modified Oct. 10, 2017 10:27 AM