Stefan Buchholz

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
Automated fixing of programs with contracts. ISSTA (2010)