Keijiro Araki

Keijiro Araki

2 books in the database

Books

IFM'99Keijiro Araki

Keijiro Araki · 1999

Formal methodsKeijiro Araki

Keijiro Araki · 2003

Co-authored books and collections

Books that list Keijiro Araki among their authors but not as the lead author: co-written works, collections and compilations.

RIMS Symposium on Software Science and Engineering IIEiichi Goto

RIMS Symposium on Software Science and Engineering II

Eiichi Goto · 1986

Theoretical Aspects of Computing - ICTAC 2004Zhiming Liu

Theoretical Aspects of Computing - ICTAC 2004

Zhiming Liu · 2005