An Approach for Proving the Correctness of Inspector/Executor Transformations
Citation
Norrish, M & Strout, M 2015, 'An Approach for Proving the Correctness of Inspector/Executor Transformations', Lecture Notes in Computer Science (LNCS), vol. 8967, pp. 131-145.Year
2015ANU Authors
Field of Research
- Programming Languages