Dardik, I., & Kang, E. (2025). Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning.
Citazione stile Chigago Style (17a edizione)Dardik, Ian, e Eunsuk Kang. Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning. 2025.
Citatione MLA (9a ed.)Dardik, Ian, e Eunsuk Kang. Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.