Showing 1 - 1 results of 1 for search 'Holger Blasum', query time: 0.02s
Refine Results
-
1
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck by Thorsten Bormer, Holger Blasum, Christoph Baumann, Bernhard Beckert
Published 2012-11-01
Article