Cita APA (7a ed.)

Dane, S. Z., Chen, J., Pouzet, M., & Jeannin, J. (2026). Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types.

Cita Chicago Style (17a ed.)

Dane, Serra Z., Jiawei Chen, Marc Pouzet, y Jean-Baptiste Jeannin. Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types. 2026.

Cita MLA (9a ed.)

Dane, Serra Z., et al. Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types. 2026.