Software engineering and formal methods

被引：1

作者：

Aichernig, Bernhard ^{[1
]}

Beckert, Bernhard ^{[2
]}

机构：

[1] Graz Univ Technol, Inst Software Technol, Graz, Austria

[2] Univ Koblenz, Inst Comp Sci, Koblenz, Germany

来源：

关键词：

Model Check; Formal Method; Special Section; Process Algebra; Software Development Process;

D O I：

10.1007/s10270-008-0091-2

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

No abstract available

引用

页码：255 / 256

页数：2