Gilles Barthe
Gilles Barthe
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFA
Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers
cover - Image source: Open LibraryES
Engineering Secure Software and Systems
cover - Image source: Open LibraryFA
Formal Aspects of Security and Trust
cover - Image source: Open LibrarySE
Software Engineering And Formal Methods 9th International Conference Proceedings
cover - Image source: Open LibraryPL
Programming Languages and Systems
cover - Image source: Open LibraryFM
Formal Methods for Open Object-Based Distributed Systems
cover - Image source: Open LibraryAS
Applied semantics
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Formal Aspects Of Security And Trust 8th International Workshop Fast 2011 Leuven Belgium September 1214 2011 Revised Selected Papers
- Open Work
Engineering Secure Software and Systems
- Open Work
Formal Aspects of Security and Trust
- Open Work
Software Engineering And Formal Methods 9th International Conference Proceedings
- Open Work
Programming Languages and Systems
- Open Work
Formal Methods for Open Object-Based Distributed Systems
- Open Work
Applied semantics