0
Hopp til hovedinnhold
 
Kontor:
D3063 ( Jon Lilletuns vei 9, Grimstad )

Jeg er en PhD-kandidat som jobber med formell verifisering av autonome systemer.

Vitenskapelige publikasjoner

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

Forskningsgrupper

Sist endret: 1.04.2019 14:04