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.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.