Chen, P.-W., Lin, S., Godbole, A., Singh, R., Polgreen, E., Lee, E., & Seshia, S. (2025). PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. In A. Irfan & D. Kaufmann (Eds.), Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 (pp. 41–53). TU Wien Academic Press. https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_10