Cyber War, Formal Verification and Certified Infrastructure

Paul, Wolfgang J.
(2012) Cyber War, Formal Verification and Certified Infrastructure.
In: Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings.

Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-642-27705-4_1
Item Type: Conference or Workshop Item (A Paper) (Paper)
Depositing User: Sebastian Weisgerber
Date Deposited: 23 Feb 2018 12:31
Last Modified: 23 Feb 2018 13:13
URI: https://publications.cispa.saarland/id/eprint/2463

Actions

Actions (login required)

View Item View Item
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.