Automatic Verification of Erlang−Style Concurrency (SAS, 2013)

(untitled) - D'Osualdo, E; Kochems, J; Ong, C