| |
| 2009 | ||
|---|---|---|
| 4 | EE | Holger Gast: Managing Proof Documents for Asynchronous Processing. Electr. Notes Theor. Comput. Sci. 226: 49-66 (2009) |
| 2008 | ||
| 3 | EE | Holger Gast: Patterns and traceability in teaching software architecture. PPPJ 2008: 23-31 |
| 2 | EE | Holger Gast: Lightweight Separation. TPHOLs 2008: 199-214 |
| 2004 | ||
| 1 | EE | Holger Gast: Explaining ML Type Errors by Data Flows. IFL 2004: 72-89 |