Cita APA (7a ed.)

Chen, P., Lin, S., Godbole, A., Singh, R., Polgreen, E., Lee, E. A., & Seshia, S. A. (2025). PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.

Cita Chicago Style (17a ed.)

Chen, Pei-Wei, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, y Sanjit A. Seshia. PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. 2025.

Cita MLA (9a ed.)

Chen, Pei-Wei, et al. PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. 2025.