Specification and Verification in Introductory Computer Science

Speaker  Frank Pfenning

Affiliation  Carnegie Mellon University

Host  Tony Hey

Duration  00:19:23

Date recorded  21 November 2013

©2013 Microsoft Corporation. All rights reserved.
> Specification and Verification in Introductory Computer Science