Valérie Issarny
2 published titles
Trust management : third international conference, iTrust 2005, Paris, France, May 23-26, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540260424
- Springer
- 2005
- Details
Formal methods for eternal networked software systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-
(Contributor)
1 edition
- ISBN: 9783642214547
- Springer
- 2011
- Details
