Вы здесь

Iida S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Component-Based Algebraic Specification and Verification in CafeOBJ 1999 Diaconescu R., Futatsugi K., Iida S. Lecture Notes in Computer Science 26.10.1999