DMCA

Testing Formal Semantics with QuickCheck

Cached

Download Links

by Andrew Butterfield , Brian J. Corcoran