External Links

Cite Key

Statistics

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

PDF

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.

Static verification of ptolemyrely programs using openJML

José Sánchez, Gary T. Leavens. Static verification of ptolemyrely programs using openJML. In Gary T. Leavens, Hidehiko Masuhara, Hridesh Rajan, Eric Bodden, editors, Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014, April 22, 2014, Lugano, Switzerland. pages 13-18, ACM, 2014. [doi]

Abstract

Abstract is missing.

runs on