Languages
Jump To : Overview | Titles | Subjects

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)
 
 
Change password
Login