Leveraging applications of formal methods, verification, and validation：4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.. Part I

Corporate Authors: ISoLA 2010 (2010 Ērakleion, Greece); SpringerLink (Online service)
Group Author: Steffen Bernhard.; Margaria-Steffen Tiziana, 1964-
Published: Springer,
Publication Dates: 2010.