Markus Aderhold
Papers
| authors | title | volume | pages | |
|---|---|---|---|---|
| Markus Aderhold, Serge Autexier and Heiko Mantel (editors) | VERIFY-2010. 6th International Verification Workshop | EPiC Series, Volume 3 |
Keywords
| # | keywords |
|---|
| authors | title | volume | pages | |
|---|---|---|---|---|
| Markus Aderhold, Serge Autexier and Heiko Mantel (editors) | VERIFY-2010. 6th International Verification Workshop | EPiC Series, Volume 3 |
| # | keywords |
|---|