The Semantics of Corrections. Rudin, D., DeVries, K., Duek, K., Kraus, K., & Brasoveanu, A. In Väänänen, J. A., Hirvonen, Å., & de Queiroz, R. J. G. B., editors, WoLLIC, volume 9803, of Lecture Notes in Computer Science, pages 358-374, 2016. Springer.
The Semantics of Corrections. [link]Link  The Semantics of Corrections. [link]Paper  bibtex   

Downloads: 0