Вы здесь
Cornelius F.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | How to Cope with the Spectrum of Spectrum | 1995 | Wolter U., Didrich K., Cornelius F., Klar M., Wessaly R., Ehrig H. | Lecture Notes in Computer Science | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 28.12.1995 | ||
| СТ | The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System | 1995 | Cornelius F., Hussmann H., Lowe M. | Lecture Notes in Computer Science | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 28.12.1995 |