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.8 for NeonPatrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye
Add to Reading List

Document Date: 2014-03-12 13:10:18


Open Document

File Size: 810,49 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