Helge Löding

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Helge Löding, Jan Peleska: Symbolic and Abstract Interpretation for C/C++ Programs. Electr. Notes Theor. Comput. Sci. 217: 113-131 (2008)

2007

1 Jan Peleska, Helge Löding, Tatiana Kotas: Test Automation Meets Static Analysis. GI Jahrestagung (2) 2007: 280-290

	2008
2		Helge Löding, Jan Peleska: Symbolic and Abstract Interpretation for C/C++ Programs. Electr. Notes Theor. Comput. Sci. 217: 113-131 (2008)
	2007
1		Jan Peleska, Helge Löding, Tatiana Kotas: Test Automation Meets Static Analysis. GI Jahrestagung (2) 2007: 280-290

Coauthor Index