Muffin: A User Interface Design Experiment for a Theorem Proving Assistant (1988)

Author(s): Jones CB, Moore R

      • Date: 11-16 September 1988
      • Conference Name: 2nd VDM-Europe Symposium: VDM - The Way Ahead (VDM '88)
      • Volume: 328
      • Pages: 337-375
      • Publisher: Springer-Verlag
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published
      Staff

      Professor Cliff Jones
      Professor

      • Telephone: +44 191 208 8183