Sascha Böhme

	2010
2		Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff: HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reasoning 44(1-2): 111-144 (2010)
	2008
1		Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff: HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs 2008: 150-166

Coauthor Index

1	K. Rustan M. Leino	[1]
2	Michal Moskal	[2]
3	Wolfram Schulte	[2]
4	Burkhart Wolff	[1] [2]