Вы здесь
Lawford M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software | 2000 | Lawford M., Mcdougall J., Froebel P., Moum G. | Lecture Notes in Computer Science | 17.06.2000 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods and Software Engineering: Proc./18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 2016 | 2016 | Lecture Notes in Computer Science |
|
09.11.2016 |