File:Formally Verified Software in the Real World by Gerwin Klein and June Andronick and Matthew Fernandez and Ihor Kuz and Toby Murray and Gernot Heiser.pdf
Formally_Verified_Software_in_the_Real_World_by_Gerwin_Klein_and_June_Andronick_and_Matthew_Fernandez_and_Ihor_Kuz_and_Toby_Murray_and_Gernot_Heiser.pdf (file size: 566 KB, MIME type: application/pdf)
Warning: This file type may contain malicious code. By executing it, your system may be compromised.
Downloaded on 2018_06_08 from
Click on a date/time to view the file as it appeared at that time.
|current||02:12, 8 June 2018||(566 KB)||Martin Vahi||Downloaded on 2018_06_08 from https://ts.data61.csiro.au/publications/csiro_full_text//Klein_AKMHF_toappear.pdf|
- You cannot overwrite this file.