Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis
Mantel Heiko, Müller-Olm Markus, Perner Matthias, Wenner Alexander
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Falaschi Moreno
Book title: Logic-Based Program Synthesis and Transformation
Publishing company: Springer International Publishing
Title of series: Theoretical Computer Science and General Issues
Volume of series: 9527
Status: Published
Release year: 2015
Language in which the publication is written: English
Conference: 25th International Symposium Logic-Based Program Synthesis and Transformation, Siena, Italien, undefined
Authors from the University of Münster
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |
| Wenner, Alexander | Professorship for practical computer science (Prof. Müller-Olm) |