Masashi Goya

According to our database, Masashi Goya authored at least 1 paper in 2005.

Collaborative distances:

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

2005

An Automated Approach to Specification-Based Program Inspection.

Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid

Proceedings of the Formal Methods and Software Engineering, 2005