Obres de Gilles Barthe
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures… (2002) 7 exemplars
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18,… (2011) 4 exemplars
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004,… (2005) 3 exemplars
Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint… (2011) 3 exemplars
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011.… (2012) 2 exemplars
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain,… (2010) 2 exemplars
Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008,… (2008) 2 exemplars
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February,… (2012) 1 exemplars
Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised… (2008) 1 exemplars
Etiquetat
Coneixement comú
Encara no hi ha coneixement comú d'aquest autor. Pots ajudar.
Membres
Estadístiques
- Obres
- 12
- Membres
- 29
- Popularitat
- #460,290
- Valoració
- 3.5
- ISBN
- 27
- Llengües
- 1