Felix Berger

	2007
1		Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza: jMoped: A Test Environment for Java Programs. CAV 2007: 164-167

Coauthor Index

1	Javier Esparza	[1]
2	Stefan Schwoon	[1]
3	Dejvuth Suwimonteerabuth	[1]