@inproceedings{inproceedings, title = {{Modal Kleene Algebra Applied to Program Correctness}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2016}}, month = {{1}}, author = {{Gomes VBF and Struth G}}, doi = {{10.1007/978-3-319-48989-6_19}}, isbn = {{9783319489889}}, pages = {{310-325}}, note = {{Accessed on 2025/08/15}}}