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

2015

ANU Authors

Field of Research

  • Programming Languages

Updated:  29 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers