28
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Artificial Intelligence in Medicine 

      Formal Methods Communities of Practice: A Survey of Personal Experience

      other
        ,
      Springer International Publishing

      Read this book at

      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 references71

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

          Communities of practice

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

            The B-Book

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

              Modeling in Event-B

                Bookmark

                Author and book information

                Contributors
                (View ORCID Profile)
                (View ORCID Profile)
                Book Chapter
                2022
                September 25 2022
                : 287-301
                10.1007/978-3-031-12429-7_21
                ae75e43b-2b5a-4082-af47-531ed1ac1a75
                History

                Comments

                Comment on this book

                Book chapters

                Similar content1,563