1
The Complete Guide to SCION [E-Book] : From Design Principles to Formal Verification /
Other Personal Name(s): “...Basin, David...”

Full text 
Favorites
Saved in:
2
Principles of Security and Trust [E-Book] : Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Other Personal Name(s): “...Basin, David....”

Full text 
Favorites
Saved in:
3
Applied Information Security [E-Book] : A Hands-on Approach /
Other Personal Name(s): “...Basin, David....”

Full text 
Favorites
Saved in:
4
Rippling: Meta-Level Guidance for Mathematical Reasoning [E-Book] /
Other Personal Name(s): “...Basin, David....”

Full text 
Favorites
Saved in:
5
Automated Reasoning [E-Book] : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings /
Other Personal Name(s): “...Basin, David....”

Full text 
Favorites
Saved in:
6
Theorem Proving in Higher Order Logics [E-Book] : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Other Personal Name(s): “...Basin, David....”

Full text 
Favorites
Saved in:

Narrow Search Results