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

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is S and Author is A. Popescu  [Clear All Filters]
Journal Article
M. N. Rabe, Lammich, P., and Popescu, A., “A shallow embedding of HyperCTL”, Archive of Formal Proofs, 2014.