Gerwin Klein
E242445
UNEXPLORED
Gerwin Klein is a computer scientist known for his work in formal verification, particularly the seL4 microkernel verification project.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.