Вы здесь

Go K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Decomposition of a Formal Specification: An Improved Constraint-Oriented Method 1999 Go K., Shiratori N. IEEE Trans. on Software Engineering 17.07.1999