Christoph Baumann

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c2		Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer: Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck. SSV 2012: 18-32
	2009
c1		Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer: Formal Verification of a Microkernel Used in Dependable Software Systems. SAFECOMP 2009: 187-200

Coauthor Index

Last update Wed May 22 12:39:19 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page