Unwinding Conditions for Security in Imperative Languages

DOI10.1007/11506676_6zbMath1134.68328OpenAlexW2161053548MaRDI QIDQ5458796

Annalisa Bossi, Sabina Rossi, Carla Piazza

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Relational bytecode correlations

This page was built for publication: Unwinding Conditions for Security in Imperative Languages