Protective interface specifications

DOI10.1007/PL00003926zbMath0910.68140MaRDI QIDQ1271854

Jeannette M. Wing, Gary T. Leavens

Publication date: 11 November 1998

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

interface specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Automatic verification of Java programs with dynamic frames