Henrik Søndberg Karlsen

Publication Activity (10 Years)

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

Top Topics

Quantitative Analysis

Learning Environment

Three Dimensional

Top Venues

Sci. Comput. Program.

Publications

Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen, René Rydhof Hansen
Formalisation and analysis of Dalvik bytecode. Sci. Comput. Program. 92 (2014)