M. Nassim Seghir

	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	Stefan Maus	[1]
3	Norbert Schirmer	[1]