conf.researchr.org / Hiroyuki Katsura
Registered user since Thu 25 Jun 2020
Name:Hiroyuki Katsura
Contributions
| APLAS 2020 | Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track |
Registered user since Thu 25 Jun 2020
Contributions
| APLAS 2020 | Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the Research Papers-track |