la-lettre
HUM 111 LEC 27
A formal abstract framework for modelling and testing complex software systems