11
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Security Protocols : 7th International Workshop, Cambridge, UK, April 19-21, 1999. Proceedings 

      Typechecking UML Static Models

      other
      Springer Berlin Heidelberg

      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 references7

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

          On understanding types, data abstraction, and polymorphism

            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Pizza into Java

              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              Making the future safe for the past: adding genericity to the Java programming language

                Bookmark

                Author and book information

                Book Chapter
                1999
                May 13 2003
                : 503-517
                10.1007/3-540-46852-8_36
                9154c00e-369d-4ade-9d07-20f4735fb317
                History

                Comments

                Comment on this book

                Book chapters

                Similar content1,806

                Cited by1