Back to Results
First PageMeta Content
Computer programming / Logic in computer science / Predicate transformer semantics / Frama-C / Hoare logic / Pointer / Precondition / Assertion / Theoretical computer science / Program logic / Software engineering


WP 0.8 WP Plug-in Manual Version 0.9 for Sodium[removed]Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye
Add to Reading List

Document Date: 2015-03-17 11:33:42

Open Document

File Size: 812,02 KB

Share Result on Facebook

Facility

Software Safety Laboratory / /

IndustryTerm

Recent tools / /

Organization

Software Safety Laboratory / /

Person

Zaynah Dargaye / François Bobot / /

ProgrammingLanguage

C / /

URL

http /

SocialTag