PROFES 2025 (series) / Tomoyuki Yokogawa
Registered user since Wed 7 Sep 2022
Name:Tomoyuki Yokogawa
Country:Japan
Affiliation:Okayama Prefectural University
Personal website: https://t-yokoga.github.io/cv-en/
GitHub: https://github.com/t-yokoga
Research interests:Model Checking, Formal Method, Software Engineering
Contributions
Using general profile