Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2016
Thompson, Simon and Horpacsi, Daniel and Koszegi, Judit (2016) Towards Trustworthy Refactoring in Erlang. In: Hamilton, Geoff and Lisitsa, Alexei and Nemytykh, Andrei P., eds. Electronic Proceedings in Theoretical Computer Science. Proceedings of the Fourth International Workshop on Verification and Program Transformation (VPT 2016). pp. 83-103. (doi:https://doi.org/10.4204/EPTCS.216.5) (Full text available) |