Shogo Sekine

According to our database, Shogo Sekine authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Formalization of Karp-Miller tree construction on petri nets.

Mitsuharu Yamamoto, Shogo Sekine, Saki Matsumoto

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017