ICSE 2013
2013 35th International Conference on Software Engineering (ICSE)
,
May 18–26, 2013
,
San Francisco, CA, USA
Desktop Layout
Sessions
Talks
People
Mon, May 20, 2013
14:00 – 18:00
Developing Verified Programs with Dafny
ICSE Tutorial
Developing Verified Programs with Dafny
K. Rustan M. Leino
(Microsoft Research, USA)
Time stamp: 2019-04-19T02:19:15+02:00