First Page | Document Content | |
---|---|---|
Date: 2014-03-02 18:39:23 | Background reading on Hoare Logic Mike Gordon Learning Guide for the CST Part II course. This document aims to provide background reading to support the lectures – think of it as a free downloadable textbook. ChaptersAdd to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source WebsiteFile Size: 611,90 KBShare Document on Facebook |