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.6 (Draft Manual) WP Plug-in (Draft) Manual Version 0.6 for OxygenPatrick Baudin, Loïc Correnson, Zaynah Dargaye
Add to Reading List

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

Open Document

File Size: 1,11 MB

Share Result on Facebook

Company

Software Safety Laboratory / /

IndustryTerm

Recent tools / /

Person

Zaynah Dargaye / /

ProgrammingLanguage

C / /

URL

http /

SocialTag