Mizuhito Ogawa

1 published title

Automated technology for verification and analysis : 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15-18 2013 : proceedings

(Contributor)

1 edition