New LOPSTR publication

The paper "Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis" by Heiko Mantel, Markus Müller-Olm, Matthias Perner, and Alexander Wenner has been accepted for publication at LOPSTR 2015 (the International Symposium on Logic Based Program Synthesis and Transformation).
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang