From object-oriented code with assertions to behavioural types.

Cludio Vasconcelos, Antnio Ravara

Browse the full SAC paper archive.