@inproceedings{inproceedings, title = {{Program analysis and verification based on Kleene algebra in Isabelle/HOL}}, url = {{}}, year = {{2013}}, month = {{1}}, author = {{Armstrong A and Struth G and Weber T}}, doi = {{10.1007/978-3-642-39634-2_16}}, isbn = {{9783642396335}}, volume = {{7998 LNCS}}, journal = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}}, pages = {{197-212}}, note = {{Accessed on 2025/06/30}}}