Keijirō Araki
3 published titles
IFM '99 : proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
(Contributor)
1 edition
- ISBN: 1852331070
- Springer
- 1999
- Details
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540408282
- Springer
- 2003
- Details
Theoretical aspects of computing - ICTAC 2004 : First International Colloquium, Guiyang, China, September 20-24, 2004 : revised selected papers
(Contributor)
1 edition
- ISBN: 3540253041
- Springer
- 2005
- Details
