Carroll Morgan

Carroll Morgan

University of New South Wales - Sydney / Australia
Others
AD Scientific Index ID: 119882
person_outline Carroll Morgan's MOST POPULAR ARTICLES
1-) Programming from specificationsC MorganPrentice-Hall, Inc., 199023111990
2-) Specification case studiesB FlinnPrentice-Hall International, 19878641987
3-) Laws of programmingCAR Hoare, IJ Hayes, H Jifeng, CC Morgan, AW Roscoe, JW Sanders, ...Communications of the ACM 30 (8), 672-686, 19875941987
4-) Abstraction, refinement and proof for probabilistic systemsA McIver, C MorganSpringer Science & Business Media, 20055422005
5-) The specification statementC MorganACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 403-419, 19884931988