Full size book cover of Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II}

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... II

Tiziana Margaria, Bernhard Steffen

5(1 readers)
Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.

Publisher

Springer

Publication Date

10/19/2010

ISBN

9783642165603

Pages

513

Categories

Computer Science

Reader Reviews

Loading comments...