Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
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
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
Privacy
Terms
Help
About Scholar
Search help