Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012, Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-28166-2
Format: 
Excerpt: 
Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The
2. 
Cover image for Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-24690-6
Format: 
Excerpt: 
Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo
3. 
Cover image for Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-642-19718-5
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Trustworthy Global Computing Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-540-78663-4
Format: 
Excerpt: 
Theoretical Computer Science and General Issues,
5. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
by 
Barthe, Gilles. editor.
https://doi.org/10.1007/978-3-540-68863-1
Format: 
Excerpt: 
Programming and Software Engineering,