Kenji Sakuma

According to our database, Kenji Sakuma authored at least 1 paper in 2001.

Collaborative distances:

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

2001

An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications.

Takenobu Aoshima, Kenji Sakuma, Naoki Yonezaki

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001