@inproceedings{Fernandez_KKA_13,
    address          = {Farmington, PA, USA},
    author           = {Fernandez, Matthew and Kuz, Ihor and Klein, Gerwin and Andronick, June},
    booktitle        = {Workshop on Programming Languages and Operating Systems (PLOS)},
    month            = nov,
    pages            = {1--7},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7281.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/7281.pdf},
    title            = {Towards a Verified Component Platform},
    year             = {2013}
  }