77
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Formal Methods and Software Engineering 

      An Open Extensible Tool Environment for Event-B

      other

      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 references21

          • Record: found
          • Abstract: not found
          • Book: not found

          Interactive Theorem Proving and Program Development

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Boogie: A Modular Reusable Verifier for Object-Oriented Programs

              Bookmark
              • Record: found
              • Abstract: not found
              • Book: not found

              Isabelle

                Bookmark

                Author and book information

                Book Chapter
                2006
                : 588-605
                10.1007/11901433_32
                ea123b72-ff9c-48c0-a74c-6578ecfa7c49
                History

                Comments

                Comment on this book