Sciweavers

Share
AMAST
2008
Springer

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

10 years 15 days 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