Amin Timany, Lars Birkedal
Mechanized relational verification of concurrent programs with continuations
ICFP, 2019.
@article{ICFP-2019-TimanyB, author = "Amin Timany and Lars Birkedal", doi = "10.1145/3341709", journal = "{Proceedings of the ACM on Programming Languages}", number = "ICFP", pages = "28", title = "{Mechanized relational verification of concurrent programs with continuations}", volume = 3, year = 2019, }