"Automated Verification of Operating System Code" is owned and hosted by beetzsee.de, this file has been downloaded 9 times, the last time was in 2022-11-09.
The pdf has been created in 2005-12-19, if you want to preview or download it, just click the link below.
|Title||Automated Verification of Operating System Code|
|File Name||literature_review_slides.pdf - 89.68 KB|
|Creation date||17 years ago|
|Nb of downloads||9|
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "Automated Verification of Operating System Code" does not meet your expectations, we invite you to take a look at the similar files below :