Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 3 results:
Author Title Type [ Year(Asc)]
Filters: Author is C. Scheben  [Clear All Filters]
2014
C. Scheben and Schmitt, P. H., Efficient Self-Composition for Weakest Precondition Calculi, in Proceedings of the 19th International Symposium on Formal Methods (FM 2014), 2014.
2012
C. Scheben and Schmitt, P., Verification of Information Flow Properties of Java Programs without Approximations, in Proceedings of the Formal Verification of Object-Oriented Software (FoVeOOS 2011), 2012.