Back to Results
First PageMeta Content
Predicate transformer semantics / Software / Frama-C / Hoare logic / Lambert W function / Automated theorem proving / Formal methods / Program logic / Theoretical computer science


WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet
Add to Reading List

Document Date: 2013-09-24 04:53:55

Open Document

File Size: 4,58 MB

Share Result on Facebook

Company

Software Reliability Laboratory / /

IndustryTerm

Recent tools / /

Person

Anne Pacalet / Zaynah Dargaye / /

Position

interactive proof assistant / /

ProgrammingLanguage

C / /

URL

http /

SocialTag