Refine your search
Availability
-
Authors
- Beyer, Dirk [x]
- Huisman, Marieke
-
Series
-
Topics
- Computer science
- authentication
- computer architecture
- computer science
- computer software selection and evaluation
- cryptography
- data privacy
- formal logic
- formal methods
- formal specification
- internet
- model checker
- model checking
- multi core processors
- privacy
- program compilers
- programming languages
- semantics
- software engineering
- verification
- Show more
- Show less
-
Languages