Using Program Verification Tools in Teaching
530
44.2
Microsoft Research330 тыс
Следующее
17.08.16 – 2171:04:43Популярные
83 дня – 53712:18
249 дней – 16 84640:37Опубликовано 17 августа 2016, 3:00
Rustan Leino chairs this session at Faculty Summit 2011, which includes the following presentations. - A Tour of DafnyΓÇöRustan Leino, Microsoft Research - Experience with Using Dafny for Teaching an Introductory Course on Program ReasoningΓÇöRajeev Joshi, NASA JPL - Teaching Using Spec# in Europe: A Experience Report from University Teaching and Various Verification TutorialsΓÇöRosemary Monahan, National University of Ireland, Maynooth
Свежие видео
5 дней – 3 6590:15
6 дней – 4 9501:14
9 дней – 780:27
63 дня – 2965:13
268 дней – 22 0201:11Случайные видео
24.07.23 – 2 8422:01
01.08.21 – 86 8434:53
03.05.21 – 77 6278:55
3 дня – 79 36524:01
4 дня – 9 3570:44
7 дней – 4 0822:55
8 дней – 5 06732:51
10 дней – 1 2330:46
