Reasoning about memory layouts
From MaRDI portal
Publication:633298
DOI10.1007/s10703-010-0098-5zbMath1211.68086MaRDI QIDQ633298
Publication date: 31 March 2011
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-010-0098-5
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software