Вы здесь

Rossetto D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ CAVEAT: Technique and Tool for Computer Aided Verification and Transformation 1995 Gribomont E. P., Rossetto D. Lecture Notes in Computer Science 26.07.1995