Search results for: Carroll Morgan
Journal of Information Security and Applications > 2017 > 36 > C > 112-126
Lecture Notes in Computer Science > Communicating Sequential Processes. The First 25 Years > Linking Theories > 220-241
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 > VDM '90 VDM and Z — Formal Methods in Software Development > 340-351
Lecture Notes in Computer Science > Mathematics of Program Construction > Contributed Papers > 359-378
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 240-259
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 9-25
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 355-373
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 162-171
Lecture Notes in Computer Science > Programming Languages and Systems > Process Algebraic Techniques > 363-378