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 March 30, 2019 22:53 Europe/Helsinki (GMT +02:00) by local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: http://cs.ioc.ee/ewscs/2019/