Вы здесь

Atlee J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ State-Based Model Checking of Event-Driven System Requirements 1991 Atlee J., Gannon J. Software Engineering Notes 03.04.1992