Bernhard Beckert (Karlsruhe Institute of Technology

Identifiers

• name variant Bernhard Beckert (Karlsruhe Institute of Technology 0.60 · backfill

Papers (1)

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

Mentions

• 1211.6186 #4 · backfill · confidence 0.70 Bernhard Beckert (Karlsruhe Institute of Technology

Frequent Coauthors

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