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

Kokichi Futatsugi
Japan Advanced Institute of Science and Technology, Japan

R. Diaconescu, K. Futatsugi:
Behavioural Coherence in Object-Oriented Algebraic Specification
page 74 - 96
Vol.6 / Issue 1
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