24th Estonian Winter School in Computer Science (EWSCS)
XXIV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 3 - 8, 2019

Danel Ahman

Faculty of Mathematics and Physics
University of Ljubljana
Slovenia

Program verification with F*

Abstract

...

Course materials

Valid CSS! Valid XHTML 1.0 Strict Last changed April 10, 2020 22:40 Europe/Helsinki (GMT +03:00) by local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: http://cs.ioc.ee/ewscs/2019/