skip to main content
editorial
Free Access

Editorial

Published:01 November 1994Publication History

Abstract

No abstract available.

References

  1. [Jon92] C.B. Jones, The search for tractable ways of reasoning about programs, Technical Report UMCS-92-4-4, Dept. of Computer Science, University of Manchester, 1992.Google ScholarGoogle Scholar

Index Terms

  1. Editorial
          Index terms have been assigned to the content through auto-classification.

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image Formal Aspects of Computing
            Formal Aspects of Computing  Volume 6, Issue Suppl 1
            Nov 1994
            108 pages
            ISSN:0934-5043
            EISSN:1433-299X
            Issue’s Table of Contents

            © British Computer Society 1994

            Publisher

            Springer-Verlag

            Berlin, Heidelberg

            Publication History

            • Published: 1 November 1994
            Published in fac Volume 6, Issue Suppl 1

            Qualifiers

            • editorial
          • Article Metrics

            • Downloads (Last 12 months)5
            • Downloads (Last 6 weeks)1

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader