Sign in
Join Literal
Authors
Author
Christian Pfaller
Books
Formal Logical Methods for System Security and Correctness
Orna Grumberg, Tobias Nipkow, Christian Pfaller