Formal aspects in security and trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers /

Samankaltaisia teoksia

• Formal aspects in security and trust : third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
  Julkaistu: (2006)
• Trust management II : Proceedings of IFIPTM 2008: joint iTrust and PST conferences on privacy, trust management and security, June 18-20, 2008, Trondheim, Norway /
  Julkaistu: (2008)
• Leveraging applications of formal methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /
  Julkaistu: (2006)
• Formal approaches to software testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, revised selected papers /
  Julkaistu: (2005)
• Formal approaches to software testing (vol. # 3997) : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers /
  Julkaistu: (2006)