Export 1 results:
Author Title Type [ Year
] Filters: First Letter Of Title is I and Author is G. Snelting [Clear All Filters]
, “Information Flow Analysis via Path Condition Refinement”, in Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust (FAST 2010), 2010.