Slides for May 30: Verification Conditions from Guarded Commands
20170530VCfromGC.pdf
—
PDF document,
574 kB (588484 bytes)