2nd IEEE VVASS Workshop
2nd Int. Workshop on Verification and Validation of Adaptive Software Systems @ QRS 2018