Search results for: Annabelle McIver
Journal of Information Security and Applications > 2017 > 36 > C > 112-126
Theoretical Computer Science > 2016 > 655 > PB > 120-134
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 4-Track B. Semantics > 223-235
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 216-239
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 240-259
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 355-373
Lecture Notes in Computer Science > FM 2005: Formal Methods > Resource Analysis and Verification > 107-122
Monographs in Computer Science
Electronic Notes in Theoretical Computer Science > 2015 > 319 > Complete > 199-216
Journal of Logical and Algebraic Methods in Programming > 2014 > 83 > 2 > 212-224