Klein-Winternheim

Identifiers

• name variant Klein-Winternheim 0.60 · backfill

Papers (1)

1. Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck cs.SE · 2012 · author #8

Mentions

• 1211.6186 #8 · backfill · confidence 0.70 Klein-Winternheim

Frequent Coauthors

• Bernhard Beckert (Karlsruhe Institute of Technology 1 shared papers
• Christoph Baumann (Saarland University 1 shared papers
• Germany) 1 shared papers
• Holger Blasum (SYSGO AG 1 shared papers
• Karlsruhe 1 shared papers
• Saarbr\"ucken 1 shared papers
• Thorsten Bormer (Karlsruhe Institute of Technology 1 shared papers