Takahisa Mizuno

According to our database, Takahisa Mizuno authored at least 1 paper in 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Applying Model Checking to Destructive Testing and Analysis of Software System.

Hiroki Kumamoto, Takahisa Mizuno, Kensuke Narita, Shin-ya Nishizaki

J. Softw., 2013