Finding minimum type error sources

Zvonimir Pavlinovic
Tim King
Thomas Wies
OOPSLA, ACM (2014), pp. 525-542

Abstract