Extensions of standard Z refinement relation for multiple viewpoints oriented requirements method
点击次数：
发表刊物：TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET
卷号：39
期号：1530-2067
是否译文：否
发表时间：2001-01-01