Obras de Gilles Barthe
Applied Semantics: International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures… (2002) 7 copias
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18,… (2011) 4 copias
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004,… (2005) 3 copias
Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint… (2011) 3 copias
Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011.… (2012) 2 copias
Verification, model checking, and abstract interpretation : 11th international conference, VMCAI 2010, Madrid, Spain,… (2010) 2 copias
Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008,… (2008) 2 copias
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February,… (2012) 1 copia
Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised… (2008) 1 copia
Etiquetado
Conocimiento común
Todavía no hay datos sobre este autor en el Conocimiento Común. Puedes ayudar.
Miembros
Estadísticas
- Obras
- 12
- Miembros
- 29
- Popularidad
- #460,290
- Valoración
- 3.5
- ISBNs
- 27
- Idiomas
- 1