STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Keijiro Araki | lit.salon
Keijiro Araki
No biography is available for this author yet.
Books by Keijiro Araki
+ shelf
+ list
IFM'99 Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
1999
Keijiro Araki
+ shelf
+ list
RIMS Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan (Lecture Notes in Computer Science)
1986
Eiichi Goto, Keijiro Araki, Taiichi Yuasa
+ shelf
+ list
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science)
2003
Keijiro Araki, Stefania Gnesi
+ shelf
+ list
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
2005
Zhiming Liu, Keijiro Araki
