Gå til hovedinnhold
Jump to main content
D3063 ( Jon Lilletuns vei 9, Grimstad )

I am a PhD candidate working on formal verification of autonomous systems.

Scientific publications

  • Murray, Yvonne; Anisi, David A. (2019). Survey of Formal Verification Methods for Smart Contracts on Blockchain.

Research groups

Last changed: 26.11.2020 13:11