Kenji Taguchi
2 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
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16 2012 : proceedings
(Contributor)
1 edition
- ISBN: 9783642342806
- Springer
- 2012
- Details
