Tese de doutoramento Acesso aberto

Animation-based validation of reactive software systems using behavioural models