1
Foundations of probabilistic programming [E-Book] /
Other Personal Name(s): “...Barthe, Gilles...”

Full text 
Favorites
Saved in:
2
Security and Trust Management [E-Book] : 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings /
Other Personal Name(s): “...Barthe, Gilles...”

Full text 
Favorites
Saved in:
3
Engineering Secure Software and Systems [E-Book]: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings /
Other Personal Name(s): “...Barthe, Gilles....”

Full text 
Favorites
Saved in:
4
Formal Aspects of Security and Trust [E-Book]: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /
Other Personal Name(s): “...Barthe, Gilles....”

Full text 
Favorites
Saved in:
5
Security and Trust Management [E-Book] : 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers /
Other Personal Name(s): “...Barthe, Gilles....”

Full text  Full text 
Favorites
Saved in:
6
Software Engineering and Formal Methods [E-Book] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings /
Other Personal Name(s): “...Barthe, Gilles....”

Full text 
Favorites
Saved in:
7
Programming Languages and Systems [E-Book] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
Other Personal Name(s): “...Barthe, Gilles....”

Full text 
Favorites
Saved in:
8
Verification, Model Checking, and Abstract Interpretation [E-Book] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Other Personal Name(s): “...Barthe, Gilles...”

Full text 
Favorites
Saved in:
9
Foundations of Security Analysis and Design V [E-Book] : FOSAD 2007/2008/2009 Tutorial Lectures /
Other Personal Name(s): “...Barthe, Gilles...”

Full text 
Favorites
Saved in:
10
Trustworthy global computing [E-Book] : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers /
Other Personal Name(s): “...Barthe, Gilles...”

Full text 
Favorites
Saved in:
11
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) [E-Book] / Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Other Personal Name(s): “...Barthe, Gilles...”

Full text 
Favorites
Saved in:
12
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362) [E-Book] / International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Other Personal Name(s): “...Barthe, Gilles....”

Full text 
Favorites
Saved in:
13
Applied Semantics [E-Book] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures /
Other Personal Name(s): “...Barthe, Gilles....”

Full text 
Favorites
Saved in:

Narrow Search Results