![Predicate transformer semantics / Software / Frama-C / Hoare logic / Lambert W function / Automated theorem proving / Formal methods / Program logic / Theoretical computer science Predicate transformer semantics / Software / Frama-C / Hoare logic / Lambert W function / Automated theorem proving / Formal methods / Program logic / Theoretical computer science](https://www.pdfsearch.io/img/c96a49d22aa0e3c87a2f22db8d061fc5.jpg)
| Document Date: 2013-09-24 04:53:55 Open Document File Size: 4,58 MBShare Result on Facebook
Company Software Reliability Laboratory / / IndustryTerm Recent tools / / Person Anne Pacalet / Zaynah Dargaye / / Position interactive proof assistant / / ProgrammingLanguage C / / URL http /
SocialTag |