| Programming from specifications C Morgan Prentice-Hall, Inc., 1990 | 2365 | 1990 |
| Laws of programming CAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ... Communications of the ACM 30 (8), 672-686, 1987 | 1028* | 1987 |
| Specification case studies B Flinn Prentice-Hall International, 1987 | 863 | 1987 |
| Abstraction, refinement and proof for probabilistic systems A McIver, C Morgan Springer Science & Business Media, 2005 | 533 | 2005 |
| The specification statement C Morgan ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 403-419, 1988 | 492 | 1988 |
| The refinement calculus C Morgan Program Design Calculi, 3-52, 1993 | 408 | 1993 |
| Probabilistic predicate transformers C Morgan, A McIver, K Seidel ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (3), 325-353, 1996 | 394 | 1996 |
| Specification of the UNIX filing system C Morgan, B Sufrin IEEE Transactions on Software Engineering, 128-142, 1984 | 209 | 1984 |
| Data refinement by calculation C Morgan, PHB Gardiner Acta Informatica 27 (6), 481-503, 1990 | 194 | 1990 |
| Data refinement of predicate transformers P Gardiner, C Morgan Theoretical Computer Science 87 (1), 143-162, 1991 | 170 | 1991 |
| Refinement of state-based concurrent systems JCP Woodcock, C Morgan International Symposium of VDM Europe, 340-351, 1990 | 145 | 1990 |
| A single complete rule for data refinement PHB Gardiner, C Morgan Formal Aspects of Computing 5, 367-382, 1993 | 140 | 1993 |
| Specification statements and refinement C Morgan, K Robinson IBM Journal of Research and Development 31 (5), 546-555, 1987 | 133 | 1987 |
| Characterising testing preorders for finite probabilistic processes Y Deng, M Hennessy, R van Glabbeek, C Morgan Logical Methods in Computer Science 4, 2008 | 125 | 2008 |
| Refinement-oriented probability for CSP C Morgan, A McIver, K Seidel, JW Sanders Formal aspects of computing 8 (6), 617-647, 1996 | 120 | 1996 |
| Of wp and CSP C Morgan Beauty is our business: a birthday salute to Edsger W. Dijkstra, 319-326, 1990 | 118 | 1990 |
| Probabilistic guarded commands mechanized in HOL J Hurd, A McIver, C Morgan Theoretical Computer Science 346 (1), 96-112, 2005 | 115 | 2005 |
| Linear-invariant generation for probabilistic programs: Automated support for proof-based methods JP Katoen, AK McIver, LA Meinicke, CC Morgan Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 111 | 2010 |
| Data refinement by miracles CC Morgan Information Processing Letters 26 (5), 243-246, 1988 | 101 | 1988 |
| Additive and multiplicative notions of leakage, and their capacities MS Alvim, K Chatzikokolakis, A McIver, C Morgan, C Palamidessi, ... 2014 IEEE 27th Computer Security Foundations Symposium, 308-322, 2014 | 98 | 2014 |
Annabelle McIverMacquarie University在 mq.edu.au 的电子邮件经过验证
