1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
@Misc{Rise4fun:dafny,
author = {K. Rustan M. Leino},
title = {Try Dafny In Your Browser},
note = "Available at \url{http://rise4fun.com/Dafny}"
}
@Misc{MSR:dafny:main,
author = {K. Rustan M. Leino},
title = {Main Microsoft Research Dafny Web page},
note = "Available at \url{http://research.microsoft.com/en-us/projects/dafny}"
}
@Misc{MSR:dafny:source,
author = {K. Rustan M. Leino et al},
title = {Dafny Source Code},
note = "Available at \url{http://dafny.codeplex.com}"
}
@Misc{MSR:dafny:quickref,
author = {K. Rustan M. Leino},
title = {Dafny Quick Reference},
note = "Available at \url{http://research.microsoft.com/en-us/projects/dafny/reference.aspx}"
}
@Misc{Linz:Coco,
author = {Hanspeter M{\"{o}}ssenb{\"{o}}ck and Markus L{\"{o}}berbauer and Albrecht W{\"{o}}{\ss}},
title = {The Compiler Generator Coco/R},
howpublished = {Open source from University of Linz},
year = 2013,
note = "Available at \url{http://www.ssw.uni-linz.ac.at/Research/Projects/Coco/}"
}
@Misc{LEINO:Dafny:Calc,
author = {K. Rustan M. Leino and Nadia Polikarpova},
title = {Verified Calculations},
howpublished = {Manuscript KRML 231},
year = 2013,
note = "Available at \url{http://research.microsoft.com/en-us/um/people/leino/papers/krml231.pdf}"
}
@Misc{LEINO:Dafny:Coinduction,
author = {K. Rustan M. Leino and Michal Moskal},
title = {Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier},
howpublished = {Manuscript KRML 230},
year = 2014,
note = "Available at \url{http://research.microsoft.com/en-us/um/people/leino/papers/krml230.pdf}"
}
@Misc{LEINO:Dafny:DynamicFrames,
author = {K. Rustan M. Leino},
title = {Dynamic-frame specifications in Dafny},
howpublished = {JML seminar, Dagstuhl, Germany},
year = 2009,
note = "Available at \url{http://research.microsoft.com/en-us/um/people/leino/papers/dafny-jml-dagstuhl-2009.pptx}"
}
|
