Language Engineering and Rigorous Software Development

This book constitutes the thoroughly refereed revised tutorial lectures of the International LerN...