@inproceedings{pgnk-ecoop-2025,
  author={Siddhartha Prasad and Ben Greenman  and Tim Nelson and Shriram Krishnamurthi},
  title = {Lightweight Diagramming for Lightweight Formal Methods},
  booktitle = {{ECOOP}},
  pages = {26:1--26:29},
  doi = {10.4230/LIPIcs.ECOOP.2025.26},
  year={2025}
}