Using Program Verification Tools in Teaching
537
44.8
Microsoft Research334 тыс
Следующее
17.08.16 – 2201:04:43Популярные
300 дней – 2 6736:21
01.02.23 – 4 0854:51Опубликовано 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
Свежие видео
14 часов – 6430:18
1 день – 5661:07
6 дней – 1 3350:57
7 дней – 4 61243:51
7 дней – 1 044 25216:58
7 дней – 1 5370:53Случайные видео
169 дней – 24 6512:02
193 дня – 432 9091:43:59
03.05.23 – 2102:25
22.02.22 – 1 096 9386:19
10.12.21 – 231 99211:14
14 часов – 1802:46
5 дней – 46614:09
7 дней – 4350:29
7 дней – 4554:50
