Skip to content

Automated Abstraction of Software.

Thomas Ball

VenueBATVA
Year2006
ProceedingsATVA

Browse the full ATVA paper archive.