skip to main content
article

Developing formal specifications via Z (workshop)

Published:01 March 1997Publication History

Abstract

No abstract available.

Index Terms

  1. Developing formal specifications via Z (workshop)

      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 ACM SIGCSE Bulletin
        ACM SIGCSE Bulletin  Volume 29, Issue 1
        March 1997
        388 pages
        ISSN:0097-8418
        DOI:10.1145/268085
        Issue’s Table of Contents
        • cover image ACM Conferences
          SIGCSE '97: Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
          March 1997
          410 pages
          ISBN:0897918894
          DOI:10.1145/268084

        Copyright © 1997 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 March 1997

        Check for updates

        Qualifiers

        • article
      • Article Metrics

        • Downloads (Last 12 months)0
        • Downloads (Last 6 weeks)0

        Other Metrics

      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!