Formal methods Europe update

被引：0

作者：

Fitzgerald, J ^{[1
]}

机构：

[1] Newcastle Univ, Sch Comp Sci, Newcastle Upon Tyne NE1 7RU, Tyne & Wear, England

来源：

关键词：

D O I：

10.1007/s00165-004-0030-0

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：2 / 3

页数：2