ICSE 2025
Sat 26 April - Sun 4 May 2025 Ottawa, Ontario, Canada

Registered user since Fri 17 Jan 2025

Name:Takashi Tomita
Country:Japan
Affiliation:JAIST
Research interests:Formal Methods, Formal Verification, Formal Language, Model Checking, Reactive Synthesis, Testing, Temporal Logic, Automata

Contributions

Show activities from other conferences

Using general profile