How to write your next POPL paper in Dafny

Date

July 2, 2013

Speaker

Nada Amin

Affiliation

MIT

Overview

Team Project Meeting