The Science of Deep Specification - Coq Intensive Lecture

[视频作者] 智商守卫者

[视频时长] 668:23

[视频类型] 科学科普

https://deepspec.org/event/dsss18/videos.html The second DeepSpec Summer School on Verified Systems will be held in Princeton, NJ from July 16 to 27, 2018, including an introductory Coq Intensive from July 16 to 18.