Browse by Person (creator, editor, contributor, etc.)
Number of items: 3. 2011
2010
King, Andy and Sondergaard, Harald
(2010)
Automatic Abstraction for Congruences.
In: Barthe, Gilles and Hermenegildo, Manuel V., eds.
Verification, Model Checking, and Abstract Interpretation.
Lecture Notes in Computer Science
(5944).
Springer-Verlag, pp. 182-196.
ISBN 978-3-642-11318-5.
(Full text available)
|
![[img]](/30704/1.hassmallThumbnailVersion/vmcai.pdf)  Preview |
|
2009
This list was generated on Sun Apr 22 21:14:38 2018 BST.
|