Вы здесь
Ogata K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Proof Scores in the OTS/CafeOBJ Method | 2003 | Ogata K., Futatsugi K. | Lecture Notes in Computer Science | 18.12.2003 | |||
| СТ | Formal Verification of the Horn-Preneel Micropayment Protocol | 2003 | Ogata K., Futatsugi K. | Lecture Notes in Computer Science | 31.01.2003 | |||
| СТ | The Design and Implementation of HoME | 1992 | Ogata K., Kurihara S., Inari M., Doi N. | SIGPLAN Notices | 13.07.1992 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | 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 | |||
| СБ | Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi | 2014 | Lecture Notes in Computer Science |
|
24.03.2014 |