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

Cached

Download Links

by Lars-Ake Fredlund , Hans Svensson
Venue:ICFP'07
Citations:11 - 1 self