Search

Email Record: Validating correctness with behavioural abstractions