Computationally Sound Verification of Source Code

Backes, Michael and Maffei, Matteo and Unruh, Dominique
(2010) Computationally Sound Verification of Source Code.
In: ACM CCS 2010.
Conference: CCS - ACM Conference on Computer and Communications Security

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item