Unwinding Conditions for Security in Imperative Languages
From MaRDI portal
Publication:5458796
DOI10.1007/11506676_6zbMath1134.68328MaRDI QIDQ5458796
Carla Piazza, Sabina Rossi, Annalisa Bossi
Publication date: 24 April 2008
Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11506676_6
68N15: Theory of programming languages
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items