Separation logic contracts for a Java-like language with fork/join (2008)

Cached

Download Links

by Christian Haack , Clément Hurlin
Citations:13 - 5 self