| |
| 2009 | ||
|---|---|---|
| 3 | EE | Ingo Feinerer, Gernot Salzer: A comparison of tools for teaching formal software verification. Formal Asp. Comput. 21(3): 293-301 (2009) |
| 2007 | ||
| 2 | Ingo Feinerer, Fridolin Wild: Automated Coding of Qualitative Interviews with Latent Semantic Analysis. ISTA 2007: 66-77 | |
| 1 | EE | Ingo Feinerer, Gernot Salzer: Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. TASE 2007: 411-420 |
| 1 | Gernot Salzer | [1] [3] |
| 2 | Fridolin Wild | [2] |