Program Specialisation, Inductive Theorem Proving and Infinite State Model Checking
The Infinite:1 Program & why Your 1:1 Program is Already Out-of-Date
54
-
Upload
apple-distinguished-educator-canadian-advisory-board -
Category
Education
-
view
94 -
download
6
description
Slide deck for a presentation I made at BLC 12 in Boston.