Вы здесь
Fuchss T.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Three Selected Case Studies in Verification | 1995 | Fuchss T., Reif W., Schellhorn G., Stenzel K. | Lecture Notes in Computer Science | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 28.12.1995 |