Verification of Equivalent-Results Methods
From MaRDI portal
Publication:5458406
DOI10.1007/978-3-540-78739-6_24zbMath1133.68377MaRDI QIDQ5458406
Peter Müller, K. Rustan M. Leino
Publication date: 11 April 2008
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_24
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work