- ホーム
- > 洋書
- > 英文書
- > Computer / General
基本説明
Presents a number of papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness.
Presents a number of papers which formed the basis for lectures at the 2009 summer school Formal Logical Methods for System Security and Correctness.