@inproceedings{Matichuk_Murray_12,
    address          = {Thessaloniki, Greece},
    author           = {Matichuk, Daniel and Murray, Toby},
    booktitle        = {10th International Conference on Software Engineering and Formal Methods},
    keywords         = {formal verification re-use refinement sel4 extensible specifications},
    month            = dec,
    pages            = {8},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5872.pdf},
    title            = {Extensible Specifications for Automatic Re-Use of Specifications and Proofs},
    year             = {2012}
  }