Stefan Maus

	2008
2		Stefan Maus, Michal Moskal, Wolfram Schulte: Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. AMAST 2008: 284-298
	2005
1		Matthias Daum, Stefan Maus, Norbert Schirmer, M. Nassim Seghir: Integration of a Software Model Checker into Isabelle. LPAR 2005: 381-395

Coauthor Index

1	Matthias Daum	[1]
2	Michal Moskal	[2]
3	Norbert Schirmer	[1]
4	Wolfram Schulte	[2]
5	M. Nassim Seghir	[1]

Colors in the list of coauthors