TY - CONF T1 - Algebras for program correctness in Isabelle/HOL JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) PY - 2014/01/01 AU - Armstrong A AU - Gomes VBF AU - Struth G ED - DO - DOI: 10.1007/978-3-319-06251-8_4 SN - 9783319062501 VL - 8428 LNCS SP - 49 EP - 64 Y2 - 2025/04/04 ER -