The inference rules you need …
The inference rules you need for the hoare logic part are collected in this document
Published Sep. 29, 2010 4:51 PM
- Last modified Nov. 26, 2010 2:19 PM
The inference rules you need for the hoare logic part are collected in this document