| |
| 2008 | ||
|---|---|---|
| 3 | Kenro Yatake, Takuya Katayama: An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. MSVVEIS 2008: 71-80 | |
| 2005 | ||
| 2 | EE | Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Implementing Application-Specific Object-Oriented Theories in HOL. ICTAC 2005: 501-516 |
| 2004 | ||
| 1 | Kenro Yatake, Toshiaki Aoki, Takuya Katayama: Collaboration-based verification of Object-Oriented models in HOL. VVEIS 2004: 78-80 | |
| 1 | Toshiaki Aoki | [1] [2] |
| 2 | Takuya Katayama | [1] [2] [3] |