Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is P and Author is T. Nipkow [Clear All Filters]
, “Proving Concurrent Noninterference”, in Proceedings of the 2nd International Conference on Certified Programs and Proofs (CPP 2012), 2012.