Markus Dahlweid

	2009
3		Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte: VCC: Contract-based modular verification of concurrent C. ICSE Companion 2009: 429-430
2		Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte: Specifying and Composing Non-functional Requirements in Model-Based Development. Software Composition 2009: 72-89
1		Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42

Coauthor Index

1	Nikolaj Bjørner	[2]
2	Ernie Cohen	[1]
3	Mark A. Hillebrand	[1]
4	Ethan K. Jackson	[2]
5	Dirk Leinenbach	[1]
6	Michal Moskal	[1] [3]
7	Thomas Santen	[1] [2] [3]
8	Wolfram Schulte	[1] [2] [3]
9	Dirk Seifert	[2]
10	Stephan Tobies	[1] [3]