【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Barthe, Gilles

ID:DA16377143

Search authors sharing the same name

Search Results1-4 of 4

1

Formal aspects of security and trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011 : revised selected papers

Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)

Springer c2012 Lecture notes in computer science 7140

Available at 1 libraries
2

Programming languages and systems : 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

Gilles Barthe (ed.)

Springer c2011 Lecture notes in computer science 6602 . Advanced research in computing and software science . LNCS sublibrary : SL 1 . Theoretical computer science and general issues

: pbk

Available at 1 libraries
3

Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.)

Springer c2009 Lecture notes in computer science 5705

: pbk

Available at 1 libraries
4

Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

Gilles Barthe ... [et al.] (eds.)

Springer c2006 Lecture notes in computer science 3956

Available at 7 libraries

Search this author

Related Authors