Languages
Futatsugi, Kokichi.
Overview
Works: | 3 works in 1 publications in 1 languages |
---|
Titles
Cafe = an industrial-strength algebraic formal method /
by:
Nakagawa, A. T.; Tamai, T.; Futatsugi, Kokichi.
(Language materials, printed)
Software security = theories and systems : Second Mext-NSF-JSPS international symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers /
by:
Futatsugi, Kokichi.; SpringerLink (Online service); Mizoguchi, Fumio, (1941-); Workshop on the Preservation of Stability under Discretization ((2001 :); Yonezaki, Naoki.
(Language materials, printed)