Special issue on “Intelligent Formal Techniques for Software Design: IFTSD”
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Received 7 April 2010, Revised 7 April 2010, Accepted 7 April 2010, Available online 20 April 2010.
论文官网地址：https://doi.org/10.1016/j.knosys.2010.04.006
