Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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