APA (7th ed.) Citation

Czerner, P., Esparza, J., & Winslow, K. (2026). iSMC: A BDD-based Symbolic Model Checker with Interactive Certification.

Chicago Style (17th ed.) Citation

Czerner, Philipp, Javier Esparza, and Konrad Winslow. ISMC: A BDD-based Symbolic Model Checker with Interactive Certification. 2026.

MLA (9th ed.) Citation

Czerner, Philipp, et al. ISMC: A BDD-based Symbolic Model Checker with Interactive Certification. 2026.