McErlang: a model checker for a distributed functional programming language (2007)

by Lars-Åke Fredlund, Hans Svensson
Venue:SIGPLAN Not