Вы здесь

Jeffords R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automatic Generation of State Invariants from Requirements Specifications 1998 Jeffords R., Heitmeyer C. Software Engineering Notes 26.03.1999