Sciweavers

Share
CONCUR
2009
Springer

A Logic-Based Framework for Reasoning about Composite Data Structures

4 years 5 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CONCUR
Authors Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Comments (0)
books