McErlang: A Model Checker for a Distributed Functional Programming Language (2007)

Cached

Download Links

by Lars-Ake Fredlund , Hans Svensson
Venue:ICFP'07
Citations:17 - 3 self