Virginity: A contribution to the specification of object-oriented software
From MaRDI portal
Publication:1608296
DOI10.1016/S0020-0190(99)00043-5zbMath1002.68025OpenAlexW2003868291MaRDI QIDQ1608296
K. Rustan M. Leino, Raymie Stata
Publication date: 4 August 2002
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0020-0190(99)00043-5
Related Items