Christina Peterson, Pierre LaBorde, Damian Dechev. CCSpec: a correctness condition specification tool. In Yann-Gaël Guéhéneuc, Foutse Khomh, Federica Sarro, editors, Proceedings of the 27th International Conference on Program Comprehension, ICPC 2019, Montreal, QC, Canada, May 25-31, 2019. pages 220-230, IEEE / ACM, 2019. [doi]
Abstract is missing.