Skip to content

Automatic Data Refinement.

Peter Lammich

VenueBITP
Year2013
ProceedingsITP

Browse the full ITP paper archive.