@inproceedings{Feree_AKOMH_18,
    address          = {Oxford, UK},
    author           = {Feree, Hugo and {\AA}man Pohjola, Johannes and Kumar, Ramana and Owens, Scott and Myreen, Magnus and
                        Ho, Son},
    booktitle        = {Verified Software: Theories, Tools and Experiments},
    date             = {2018-11-24},
    month            = nov,
    pages            = {88-111},
    paperurl         = {https://trustworthy.systems/publications/full_text/Feree_AKOMH_18.pdf},
    publisher        = {Springer},
    title            = {Program Verification in the Presence of {I}/{O}: Semantics, verified library routines, and verified
                        applications},
    volume           = {11294},
    year             = {2018}
  }