Marc-André Möller

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Wolfram Amme, Marc-André Möller, Philipp Adler
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)