FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Andrzej Wasowski
Affiliation: IT University Copenhagen
Web page: http://www.itu.dk/people/wasowski
Pages in this Program
Program
Program for Friday, August 12th
VeriProp on Friday, August 12th
VeriProp Program