Danel Ahman
Faculty of Mathematics and Physics
University of Ljubljana
Slovenia
Program verification with F*
Abstract
...
Course materials
- D. Ahman. Program verification with F*. Slides from the lecture at EWSCS '19. [online presentation]
- Videos from the lectures (large, unedited files) [mp4, password-protected]
Last changed
April 10, 2020 22:40 Europe/Helsinki (GMT +03:00)
by
local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page:
//cs.ioc.ee/ewscs/2019/