@inproceedings{Norrish_Strout_15,
    address          = {Hillsboro, Oregon, USA},
    author           = {Norrish, Michael and Strout, Michelle Mills},
    booktitle        = {Languages and Compilers for Parallel Computing},
    doi              = {10.1007/978-3-319-17473-0_9},
    editor           = {{James Brodman and Peng Tu}},
    month            = may,
    pages            = {131--145},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8208.pdf},
    publisher        = {Springer},
    title            = {An Approach for Proving the Correctness of Inspector/Executor Transformations},
    year             = {2015}
  }