Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Publications of Lawrence C Paulson
[go: Go Back, main page]

Technical Reports

(Reports subsequently published elsewhere are excluded.)

  1. L. C. Paulson.
    A preliminary user's manual for Isabelle. Technical Report 133, Computer Lab (1988).
  2. Tobias Nipkow and L C Paulson,
    Isabelle tutorial and user's manual. Technical Report 189, Computer Lab (1990).
  3. L. C. Paulson,
    Introduction to Isabelle. Technical Report, Computer Lab (last revised 2003).
    WARNING
    These manuals are provided for historical purposes. Get up-to-date Isabelle documentation from the Isabelle distribution area.
  4. L. C. Paulson.
    Set Theory as a computational logic: I. From foundations to functions. Technical Report 271, Computer Lab (1992).
  5. L. C. Paulson (editor).
    Proceedings of the First Isabelle Users Workshop. Technical Report 379, Computer Lab (1995).
  6. L. C. Paulson.
    Mechanized proofs of security protocols: Needham-Schroeder with public keys. Technical Report 413, Computer Lab (1997).
  7. Giampaolo Bella, Fabio Massacci and L. C. Paulson.
    Verifying the SET purchase protocols. Technical Report 524, Computer Lab (2001).
  8. L. C. Paulson
    The Descent of BAN. In: Andrew Herbert and Karen Spärck Jones (editors), Computer Systems: Theory, Technology, and Applications. (Springer, 2004), 225–228.

Last modified 3 January, 2008