Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification

Paul, Wolfgang J. and Schmaltz, Sabine and Shadrin, Andrey
(2012) Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.
In: Proc. 10th International Conference on Software Engineering and Formal Methods (SEFM 2012).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item