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
EASE 2024-profile
View general profile
View general profile