Number of items: 1.
Article
Zeller, Andreas and Wei, Yi and Meyer, Bertrand and Nordio, Martin and Furia, Carlo A. and Pei, Yu
(2014)
Automated Fixing of Programs with Contracts.
IEEE Transactions on Software Engineering, 40 (5).
pp. 427-449.
ISSN 0098-5589
This list was generated on Thu Apr 25 19:12:07 2024 CEST.