For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
68
views
8
references
 Top references
cited by
4
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      2,814
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      FME'96: Industrial Benefit and Advances in Formal Methods 

      Consistency and refinement for partial specification in Z

      other
      Author(s): , , ,
      Publication date (Online):
      Publisher: Springer Berlin Heidelberg

      Read this book at

      Publisher
      Buy book
      Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references8

          • Record: found
          • Abstract: not found
          • Article: not found

          Introduction to the ISO specification language LOTOS

          Tommaso Bolognesi, Ed Brinksma (1987)
          Article 0 comments Cited 54 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Inconsistency handling in multiperspective specifications

            D. Gabbay, A. Hunter, J. Kramer … (1994)
            Article 0 comments Cited 22 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Conjunction as composition

              Pamela Zave, Michael Jackson (1993)
              Article 0 comments Cited 15 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and book information

                Book Chapter
                Publication date (Print): 1996
                Publication date (Online): June 1 2005
                Pages: 287-306
                DOI: 10.1007/3-540-60973-3_93
                SO-VID: 7d361635-b2bd-4732-8e73-86e9026d9fa1
                History

                Data availability:

                Comments

                Comment on this book

                Book chapters

                Similar content2,814

                See all similar

                Cited by4

                See all cited by