Mechanized Reasoning about Concurrent Functional Programs

Cached

Download Links

by Sava Mintchev , London Wm Js