TY - CONF T1 - Program analysis and verification based on Kleene algebra in Isabelle/HOL JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2013/01/01 AU - Armstrong A AU - Struth G AU - Weber T ED - DO - DOI: 10.1007/978-3-642-39634-2_16 SN - 9783642396335 VL - 7998 LNCS SP - 197 EP - 212 Y2 - 2025/04/16 ER -