@inproceedings{Cassez_MPS_15,
    address          = {London, UK},
    author           = {Cassez, Franck and Matsuoka, Takashi and Pierzchalski, Edward and Smyth, Nathan},
    booktitle        = {SV-COMP-2015},
    doi              = {10.1007/978-3-662-46681-0_39},
    editor           = {{Christel Baier, Cesare Tinelli }},
    keywords         = {software verification, smt solving},
    month            = apr,
    pages            = {439--442},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8403.pdf},
    publisher        = {Springer},
    title            = {Perentie: Modular Trace Refinement and Selective Value Tracking},
    year             = {2015}
  }