Program Verification with F*

fstar-logo


Danel Ahman

University of Ljubljana



(Virtually in) Tallinn, 9 December, 2020

0
Danel AhmanUniversity of Ljubljana (Virtually in) Tallinn, 9 December, 2020