F. Martinelli
3 published titles
Lectures on probability theory and statistics
(Contributor)
1 edition
- ISBN: 3540665935
- Springer
- 1999
- Details
Formal aspects in security and trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
(Contributor)
1 edition
- ISBN: 0387240985
- Springer
- 2005
- Details
Engineering secure future internet services and systems : current research
(Contributor)
1 edition
- ISBN: 9783319074511
- Springer
- 2014
- Details
