Guest Editorial: Special Issue on Model Checking in Requirements Engineering

被引：0

作者：

Steve Easterbrook

Marsha Chechik

机构：

[1] Department of Computer Science,

[2] University of Toronto,undefined

[3] Toronto,undefined

[4] Ontario,undefined

[5] Canada,undefined

来源：

关键词：

Key words:;

D O I：

10.1007/s007660200017

中图分类号：

学科分类号：

摘要：

引用

页码：221 / 224

页数：3