The HACMS program: using formal methods to eliminate...

Philosophical Transactions Mathematical Physical & Engineering Sciences 2017 / 10 Vol. 375; Iss. 2104

The HACMS program: using formal methods to eliminate exploitable bugs

Fisher, Kathleen, Launchbury, John, Richards, Raymond
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
375
Language:
english
Journal:
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
DOI:
10.1098/rsta.2015.0401
Date:
October, 2017
File:
PDF, 598 KB
english, 2017
Conversion to is in progress
Conversion to is failed