Вы здесь
Ruess H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Bounded Model Checking and Induction from Refutation to Verification | 2003 | De Moura L., Ruess H., Sorea M. | Lecture Notes in Computer Science | 19.09.2003 | |||
| СТ | Construction and Deduction Methods for the Formal Development of Software | 1995 | Von Henke F. W., Dold A., Ruess H., Schwier D., Strecker M. | Lecture Notes in Computer Science | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 28.12.1995 |