Peli de Halleux

	2009
2		Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann: Symbolic Query Exploration. ICFEM 2009: 49-68
1		Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann: Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402

Coauthor Index

1	Michael Barnett	[1]
2	Manuel Fähndrich	[1]
3	Pavel Grigorenko	[2]
4	Francesco Logozzo	[1]
5	Nikolai Tillmann	[1] [2]
6	Margus Veanes	[2]