Go home now Header Background Image
Submission Procedure
share: |
Follow us

Kazuhiro Ogata
Japan Advanced Institute of Science and Technology, Japan

K. Ogata, K. Futatsugi:
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
page 771 - 804
Vol.19 / Issue 6
D. Găină, K. Futatsugi, K. Ogata:
Constructor-based Logics
page 2204 - 2233
Vol.18 / Issue 16