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


WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne Pacalet
Add to Reading List

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

Open Document

File Size: 1,12 MB

Share Result on Facebook

Company

Software Safety Laboratory / /

IndustryTerm

Recent tools / /

Person

Anne Pacalet / Zaynah Dargaye / /

ProgrammingLanguage

C / /

URL

http /

SocialTag