GitHub repository: EarlPitts/msc-thesis
Primary language: TeX
Created: 2023-11-03T07:16:52Z
Description: My thesis on checking the equivalence of refactorings in erlang with testing