homepages.inf.ed.ac.uk/da

Preview meta tags from the homepages.inf.ed.ac.uk website.

Linked Hostnames

25

  • General Meta Tags

    5
    • title
      David Aspinall's Home Page
    • author
      David Aspinall <David.Aspinall at ed.ac.uk>
    • generator
      Hard graft with whatever it takes
    • keywords
      Computer Security, Proof-Carrying Code, Certification, Verification, Static Analysis, Program Analysis, Proof Engineering, Isabelle, LEGO, Coq, Emacs, XEmacs, Specification, Algebraic Specification, Types, Type Theory, Type Systems, Language Design, Programming Language Theory, Theorem Proving, Proof Assistant, Automated Deduction, Interface, Theorem Prover, GUI, David Aspinall, David R. Aspinall
    • Content-Type
      text/html; charset=iso-8859-1

  • Link Tags

    2
    • stylesheet
      .//ssi/da.css
    • stylesheet
      .//ssi/map.css

Emails

1

Links

43