Publikation
Dirk Leinenbach; Thomas Santen
In: 16th International Symposium on Formal Methods. International Symposium on Formal Methods (FM-2009), November 2-6, Eindhoven, Netherlands, Pages 806-809, Lecture Notes in Computer Science, Vol. 5850, Springer, 2009.
@inproceedings{pub4499, author = { Leinenbach, Dirk and Santen, Thomas }, title = {Verifying the Microsoft Hyper-V Hypervisor with VCC}, booktitle = {16th International Symposium on Formal Methods. International Symposium on Formal Methods (FM-2009), November 2-6, Eindhoven, Netherlands}, series = {Lecture Notes in Computer Science}, year = {2009}, volume = {5850}, pages = {806--809}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023