The Role of Proof Obligations in Software Design (1985)

Author(s): Jones CB

      • Date: 25-29 March 1985
      • Conference Name: Colloquium on Software Engineering (CSE) at the International Joint Conference on Theory and Practice of Software Development: Mathematical Foundations of Software Development (TAPSOFT)
      • Volume: 186
      • Pages: 27-41
      • Publisher: Springer-Verlag
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published
      Staff

      Professor Cliff Jones
      Professor
      • Telephone: +44 191 222 8183