A monadic framework for relational verification: applied to information security, program equivalence, and optimizations
Keyword(s):
2019 ◽
Vol 22
(4)
◽
pp. 336-341
Keyword(s):