Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Samarakoon, Miniruwani"'
Formal methods for software correctness are critical to the future of software engineering - and so must be an essential part of software engineering education. Unfortunately, formal methods are often resisted by students due to perceived difficulty,
Externí odkaz:
http://arxiv.org/abs/2205.00787
Autor:
Samarakoon, Miniruwani, Galvin, Sean, Fruen, Marcus, Sturland, Shawn, Teal, Paul, Tzeng, Shieak Yc
Publikováno v:
In Heart, Lung and Circulation 2018 27 Supplement 3:S584-S584