Login / Signup

Automated Fixing of Programs with Contracts.

Yu PeiCarlo A. FuriaMartin NordioYi WeiBertrand MeyerAndreas Zeller
Published in: IEEE Trans. Software Eng. (2014)
Keyphrases