Protective interface specifications
From MaRDI portal
Publication:1271854
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)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items