DMCA

Formal verification of a microkernel used in dependable software systems (2009)

by Christoph Baumann , Bernhard Beckert , Holger Blasum , Thorsten Bormer
Venue:In Proc. SAFECOMP 2009, LNCS
Citations:5 - 2 self