Return to Article Details
Frame rule in monotone Floyd – Hoare logic extension
Download
Download PDF