Reuse of proofs in software verification
From MaRDI portal
Publication:1419888
DOI10.1007/BF02745521zbMath1058.68525MaRDI QIDQ1419888
Publication date: 27 January 2004
Published in: Sādhanā (Search for Journal in Brave)
Related Items
Uses Software
Cites Work