How to write your next POPL paper in Dafny

Team Project Meeting

Date:
Speakers:
Nada Amin
Affiliation:
MIT

Series: Microsoft Research Talks