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

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is M and Author is N. Manthey  [Clear All Filters]
Conference Paper
V. Klebanov, Manthey, N., and Muise, C., “SAT-based Analysis and Quantification of Information Flow in Programs”, in Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013), 2013.