Roland Groz

Proceedings of the First International Workshop on Model Inference in Testing

Testing of Communicating Systems