Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
复制标题
利用形式化方法的应用，第一届国际研讨会，ISoLA 2004，塞浦路斯帕福斯，2004 年 10 月 30 日至 11 月 2 日，修订后的精选论文
DOI：
10.1007/11925040
复制
发表时间：
2006
影响因子：
13.8
通讯作者：
B. Steffen
中科院分区：
文献类型：
--
作者：
T. Margaria;B. Steffen
