Mechanized Reasoning about Concurrent Functional Programs

Cached

Download Links

by Sava Mintchev , London Wm Js

Document Versions

Mechanized Reasoning about Concurrent Functional Programs –Sava Mintchev, London Wm Js