автор: Yaron Wolfsthal

This book constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, Service Wave 2010, held in Ghent, Belgium, in December 2010. The book includes …

The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops …