Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Carroll Morgan (computer scientist)
open-in-new
<h2 id="external-links">External links</h2> <ul><li><a href="http://www.cse.unsw.edu.au/~carrollm">Official website</a></li> <li><a href="https://dblp.org/pid/m/CarrollMorgan">Carroll Morgan</a> at <a href="/facts/DBLP_(identifier)/JLAIuLQQ">DBLP</a> Bibliography Server </li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Morgan, Carroll (1990–1998). Programming from Specifications. International Series in Computer Science (2nd ed.). Prentice Hall. ISBN 978-0137262335. Retrieved 4 October 2020. <a href="978-0137262335" target="_blank">978-0137262335</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>McIver, Annabelle; Morgan, Charles Carroll (2005). Abstraction, Refinement and Proof for Probabilistic Systems. Monographs in Computer Science. New York: Springer Nature. doi:10.1007/b138392. ISBN 978-0-387-40115-7. <a href="978-0-387-40115-7" target="_blank">978-0-387-40115-7</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Alvim, Mario; Chatzikokolakis, Konstantinos; McIver, Annabelle; Morgan, Charles Carroll; Palamidessi, Catuscia; Smith, Geoffrey (2020). The Science of Quantitative Information Flow. Monographs in Information Security and Cryptography. New York: Springer Nature. doi:10.1007/978-3-319-96131-6. ISBN 978-3-319-96129-3. S2CID 221841150. <a href="978-3-319-96129-3" target="_blank">978-3-319-96129-3</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>"Carroll Morgan, Professor, Aust. Professorial Fellow ARC". Australia: University of New South Wales. Archived from the original on 1 February 2014. Retrieved 26 January 2014. <a href="https://web.archive.org/web/20140201224103/http://www.cse.unsw.com/db/staff/staff_details.php?ID=carrollm" target="_blank">https://web.archive.org/web/20140201224103/http://www.cse.unsw.com/db/staff/staff_details.php?ID=carrollm</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>"Trustworthy Systems". Australia. <a href="https://trustworthy.systems" target="_blank">https://trustworthy.systems</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>"Honorary Professor". Australia. <a href="https://www.mq.edu.au/faculty-of-science-and-engineering/departments-and-schools/school-of-computing" target="_blank">https://www.mq.edu.au/faculty-of-science-and-engineering/departments-and-schools/school-of-computing</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Morgan, Carroll (1990–1998). Programming from Specifications. International Series in Computer Science (2nd ed.). Prentice Hall. ISBN 978-0137262335. Retrieved 4 October 2020. <a href="978-0137262335" target="_blank">978-0137262335</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>"Software Design Group: Carroll Morgan". USA: MIT. Archived from the original on 18 June 2010. Retrieved 20 June 2010. <a href="https://web.archive.org/web/20100618104715/http://sdg.csail.mit.edu/people/morgan.html" target="_blank">https://web.archive.org/web/20100618104715/http://sdg.csail.mit.edu/people/morgan.html</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 4 October 2020. <a href="/wiki/Lambert_Meertens" target="_blank">/wiki/Lambert_Meertens</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 4 October 2020. <a href="/wiki/Jeremy_Gibbons" target="_blank">/wiki/Jeremy_Gibbons</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> </ol>