Animation-based validation of reactive software systems using behavioural models Teses uri icon

data de publicação

  • janeiro 1, 2009