Constrained Automated Requirements Formalization for Rigorous Analysis with Alloy
🔗 https://www.semanticscholar.org/paper/b44faed1ee20f2419a5379b435d2439c1d1c2119 ↗Constrained Automated Requirements Formalization for Rigorous Analysis with Alloy.
內容為收集當日抓取的摘要原文。