Toshiaki Aoki

1 published title

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16 2012 : proceedings

(Contributor)

1 edition