Thomas Gorges

	2008
1		Hendrik Post, Carsten Sinz, Alexander Kaiser, Thomas Gorges: Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. ASE 2008: 188-197

Coauthor Index

1	Alexander Kaiser	[1]
2	Hendrik Post	[1]
3	Carsten Sinz	[1]