APLAS 2019 (series) / Takeshi Tsukada
Registered user since Mon 10 Jun 2019
Name: Takeshi Tsukada
Country: Japan
Affiliation: University of Tokyo, Japan
Contributions
| APLAS 2019 | Ordinary PC member in Program Committee within the Research Papers-track A Type-Based HFL Model Checking Algorithm | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
APLAS 2019-profile
View general profile
View general profile