文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Etessami bullet
发表
Workshop on Formal Methods for Industrial Critical Systems ( FMICS ’ 02 ) University of Málaga , Spain July 12-13 , 2002
A. Podelski, A. Fantechi, R. Cleaveland, 2002 .