Publication Index
-
-
Formally Verified System Initialisation (
2013) [
pdf,
bibtex]
Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell
Proceedings of the 15th International Conference on Formal Engineering Methods
-
-
-