@misc{indiciae6ef1ddab4e49,
  title = {PolyVer: A Compositional Approach for Polyglot System Modeling and Verification},
  author = {Pei-Wei Chen and Shaokai Lin and Adwait Godbole and Ramneet Singh and Elizabeth Polgreen and Edward A. Lee and Sanjit A. Seshia},
  year = {2025},
  doi = {10.34727/2025/isbn.978-3-85448-084-6\_10},
  url = {https://arxiv.org/abs/2503.03207},
  note = {Source identifier: 2503.03207}
}