Verification and Evaluation of Computer and Communication Systems

This book constitutes the proceedings of the 15th International Conference on Verication and Eval...