conf.researchr.org / Takeshi Tsukada
Registered user since Mon 10 Jun 2019
Name:Takeshi Tsukada
Country:Japan
Affiliation:Chiba University
Contributions
2024
PLanQC
2023
2022
SPLASH
- Author of Software Model-Checking as Cyclic-Proof Search within the COVID Time Papers In Person-track
- Author of A New Refinement Type System for Automated nu-HFLZ Validity Checking within the COVID Time Papers In Person-track
- Author of Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination within the COVID Time Papers In Person-track