TaDA: A Logic for Time and Data Abstraction.

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner

Browse the full ECOOP paper archive.