Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment
2015 ◽
Vol 15
(3)
◽
pp. 1-22
◽
2021 ◽
Vol 45
(3)
◽
pp. 275-288
2021 ◽
Keyword(s):
2011 ◽
Vol 79
(1)
◽
pp. 149-155
◽
1996 ◽
Vol 22
◽
pp. 63-92
◽