| |
| 2006 | ||
|---|---|---|
| 3 | EE | Gregor Snelting, Torsten Robschink, Jens Krinke: Efficient path conditions in dependence graphs for software safety analysis. ACM Trans. Softw. Eng. Methodol. 15(4): 410-457 (2006) |
| 2002 | ||
| 2 | EE | Torsten Robschink, Gregor Snelting: Efficient path conditions in dependence graphs. ICSE 2002: 478-488 |
| 1999 | ||
| 1 | EE | Jens Krinke, Torsten Robschink, Gregor Snelting: Software-Sicherheitsprüfung mit VALSOFT. Inform., Forsch. Entwickl. 14(2): 62-73 (1999) |
| 1 | Jens Krinke | [1] [3] |
| 2 | Gregor Snelting | [1] [2] [3] |