Back to Results
First PageMeta Content
Formal sciences / Mathematical logic / Model theory / Proof theory / Logic in computer science / Design by contract / Mathematical proof / Formal methods / DO-178C / Mathematics / Logic / Science


The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day Background
Add to Reading List

Document Date: 2013-06-18 10:17:21

Open Document

File Size: 774,59 KB

Share Result on Facebook

Facility

New library / /

Product

Motorola Q Global Smartphone / /

ProgrammingLanguage

Ada / C / /

SocialTag