Mechanized Reasoning about Concurrent Functional Programs

View PDF

Download Links

by Sava Mintchev , London Wm Js