Вы здесь
Schellhorn G.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | 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 | ||
СТ | XIII. KIV | 1995 | Schellhorn G., Burandt A. | Lecture Notes in Computer Science | 25.03.1995 | |||
СТ | The KIV System - A Tool for Formal Program Development | 1993 | Drexler R., Reif W., Schellhorn G., Stenzel K., Stephan W., Wolpers A. | Lecture Notes in Computer Science | 06.04.1993 |