FLOPS 2022 (series) / Tetsuya Sato
Not registered as user yet
Name:Tetsuya Sato
Country:Japan
Affiliation:Tokyo Institute of Technology
Contributions
| FLOPS 2022 | Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
FLOPS 2022-profile
View general profile
View general profile