External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk)

Sriram Sankar. Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk). In Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri, editors, Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Volume 139 of IFIP Conference Proceedings, Kluwer, 1999.

Abstract

Abstract is missing.

runs on