Erik Ramsgaard Wognsen

  • Selma Lagerløfs Vej 300, 1-2-16

    9220 Aalborg Ø


If you made any changes in Pure these will be visible here soon.

Research Output 2012 2018

Conference article in Journal
1 Citation (Scopus)

Formal modelling and analysis of Bitflips in ARM assembly code

Hansen, R. R., Larsen, K. G., Olesen, M. C. & Wognsen, E. R., 27 Jun 2016, In : Information Systems Frontiers. 18, 5, p. 909–925 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review