Proving correctness of implementation techniques
Keyword(s):
Keyword(s):
2001 ◽
Vol 88
(5)
◽
pp. 517-528
◽
Keyword(s):
2014 ◽
Vol 239
◽
pp. 198-210
◽