Mathematically verified software kernels: Raising the bar for high assurance implementations

daniel potts
daniel potts
rene bourquin
rene bourquin
leslie andresen
leslie andresen

2014.

Cited by: 2|Bibtex|Views26
Other Links: academic.microsoft.com

Code:

Data:

Your rating :
0

 

Tags
Comments