Blog
About

32
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      A specifier's introduction to formal methods

      Computer

      Institute of Electrical and Electronics Engineers (IEEE)

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 51

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

          A Calculus of Communicating Systems

           Robin Milner (1980)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Petri Nets

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

              Proof of correctness of data representations

               C. Hoare (1972)
                Bookmark

                Author and article information

                Journal
                Computer
                Computer
                Institute of Electrical and Electronics Engineers (IEEE)
                0018-9162
                September 1990
                September 1990
                : 23
                : 9
                : 8-22
                Article
                10.1109/2.58215
                © 1990
                Product

                Comments

                Comment on this article