Einar Broch Johnsen

Einar Broch Johnsen

Professor, University of Oslo
Verified email at ifi.uio.no
Cited by 4001
Formal methods Programming logics Distributed systems Digital twins
James Hook

James Hook

Associate Dean, Maseeh College of Engineering and Computer Science, Professor …
Verified email at pdx.edu
Cited by 971
Programming Languages Functional Programming Programming Logics High-Assurance Software and Systems Computer Science Educati