FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Jaroslav Bendik
Affiliation: Certora Inc
Web page: https://jar-ben.github.io/
Pages in this Program
DSV on Thursday, August 11th
DSV Program
Program
Program for Thursday, August 11th