1
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:
2
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:
3
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