“Rustan Leino chairs this session at Faculty Summit 2011, which includes the following presentations.A Tour of Dafny—Rustan Leino, Microsoft ResearchExperience with Using Dafny for Teaching an Introductory Course on Program Reasoning—Rajeev Joshi, NASA JPLTeaching Using Spec# in Europe: A Experi….
This item belongs to: movies/microsoft_research_video.
This item has files of the following types: Animated GIF, Archive BitTorrent, Metadata, Ogg Video, Thumbnail, Windows Media, h.264