Sciweavers

Share
AMAST
2008
Springer

Separation Logic Contracts for a Java-Like Language with Fork/Join

8 years 4 months ago
Separation Logic Contracts for a Java-Like Language with Fork/Join
Christian Haack, Clément Hurlin
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where AMAST
Authors Christian Haack, Clément Hurlin
Comments (0)
books