Misu, M. R. H., Ma, I., & Lopes, C. V. (2026). VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications.
Citazione stile Chigago Style (17a edizione)Misu, Md Rakib Hossain, Iris Ma, e Cristina V. Lopes. VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications. 2026.
Citatione MLA (9a ed.)Misu, Md Rakib Hossain, et al. VeriAct: Beyond Verifiability -- Agentic Synthesis of Correct and Complete Formal Specifications. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.