Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
复制标题
软件构建和分析的严格方法，献给 Egon Börger 60 岁生日的论文
DOI：
10.1007/978-3-642-11447-2
复制
发表时间：
2009
影响因子：
4.3
通讯作者：
U. Glässer
中科院分区：
文献类型：
--
作者：
J. Abrial;U. Glässer
