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.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye
Add to Reading List

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

Open Document

File Size: 905,24 KB

Share Result on Facebook

Facility

Software Safety Laboratory / /

IndustryTerm

Recent tools / /

Organization

Software Safety Laboratory / /

Person

Zaynah Dargaye / /

ProgrammingLanguage

C / /

URL

http /

SocialTag