Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposi...