Export 2 results:
Author Title Type [ Year
] Filters: First Letter Of Title is F and Author is J. Hölzl [Clear All Filters]
, “Formal Verification of Language-Based Concurrent Noninterference”, J. Formalized Reasoning, vol. 6, pp. 1-30, 2013.
, “Formalizing Probabilistic Noninterference”, in Proceedings of the 3rd International Conference on Certified Programs and Proofs (CPP 2013), 2013.