Export 1 results:
Author Title Type [ Year
] Filters: Author is Markus Müller-Olm [Clear All Filters]
, “Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis”, in Pre-Proceedings of the 25th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), 2015.