Open AccessHigh-Assurance Software: LDRD Report.
Author(s) -
Geoffrey C. Hulette
Publication year - 2014
Publication title -
osti oai (u.s. department of energy office of scientific and technical information)
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.2172/1149305
Subject(s) - mathematical proof , computer science , proof assistant , software engineering , programming language , certification , field (mathematics) , software , state (computer science) , logic programming , programming style , mathematics , management , geometry , pure mathematics , economics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom