CAFE: An Industrial-Strength Algebraic Formal Method-猫眼课题宝

CAFE：工业强度的代数形式方法

DOI：

10.1016/b978-0-444-50556-9.x5059-x

发表时间：

2000

期刊：

J. Univers. Comput. Sci.

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

K. Futatsugi;A. T. Nakagawa;T. Tamai