@inproceedings{Fernandez_AKK_15,
    address          = {Oslo, Norway},
    author           = {Fernandez, Matthew and Andronick, June and Klein, Gerwin and Kuz, Ihor},
    booktitle        = {International Symposium on Formal Methods (FM)},
    month            = jun,
    pages            = {273--290},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8497.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/8497.pdf},
    title            = {Automated Verification of {RPC} Stub Code},
    year             = {2015}
  }