Martín Abadi
The Prophecy of Undo
FASE, 2015.
@inproceedings{FASE-2015-Abadi, author = "Martín Abadi", booktitle = "{Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering}", doi = "10.1007/978-3-662-46675-9_23", isbn = "978-3-662-46674-2", pages = "347--361", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{The Prophecy of Undo}", volume = 9033, year = 2015, }