Yoji Nanjo

According to our database, Yoji Nanjo authored at least 1 paper in 2018.

Collaborative distances:

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

2018

A Fixpoint Logic and Dependent Effects for Temporal Property Verification.

Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018