Refine my results
Document type
Institution
Specific Collection
Language
- English (1)
Author
- Basin, David (1)
- Kuruma, Hironobu (1)
- Miyazaki, Kunihiko (1)
-
Takaragi, Kazuo (1)
- Wolff, Burkhart (1)
Keyword
- Case study (1)
- Comparison (1)
- Formal methods (1)
- Model checking (1)
- Security (1)
- Theorem proving (1)