Mechanical Software Verification
From MaRDI portal
Publication:2841237
DOI10.1016/S1571-0661(04)00282-8zbMath1268.68111MaRDI QIDQ2841237
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00282-8
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work