Sign in
Join Literal
Authors
Author
Bernd Spanfelner
Books
Logics and Languages for Reliability and Security
Javier Esparza, Bernd Spanfelner