@inproceedings{leveragingrusttypesformodular,
  title = {Leveraging Rust types for modular specification and verification},
  author = {Vytautas Astrauskas and Peter Müller and Federico Poli and Alexander J. Summers},
  year = {2019},
  booktitle = {OOPSLA 2019 10},
  url = {https://dl.acm.org/doi/10.1145/3360573},
}