Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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