Shigeo Nishi

According to our database, Shigeo Nishi authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Soundness Proof of EventB2Java.

Néstor Cataño, Shigeo Nishi

Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016