Martin Schäf

	2009
1		Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies: It's Doomed; We Can Prove It. FM 2009: 338-353

Coauthor Index

1	Jochen Hoenicke	[1]
2	K. Rustan M. Leino	[1]
3	Andreas Podelski	[1]
4	Thomas Wies	[1]