@inproceedings{BeckertBormer2012,
author = {Bernhard Beckert and Thorsten Bormer},
title = {Lessons Learned From Microkernel Verification},
booktitle = {12th International Workshop on Automated Verification
of Critical Systems ({AVOCS} 2012)},
year = {2012},
month = sep
}
Lessons Learned From Microkernel Verification
| Autor(en): | Bernhard Beckert und Thorsten Bormer |
|---|---|
| In: | 12th International Workshop on Automated Verification of Critical Systems (AVOCS 2012) |
| Jahr: | 2012 |