Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.


Cheval, Vincent (2014) APTE: An Algorithm for Proving Trace Equivalence. In: Ábrahám, Erika and Havelund, Klaus, eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 8413. Springer-Verlag Berlin, Grenoble, France pp. 587-592. ISBN 978-3-642-54861-1. E-ISBN 978-3-642-54862-8. (doi: (Full text available)


Brauer, Jorg and King, Andy (2011) Approximate Quantifier Elimination for Propositional Boolean Formulae. In: Bobaru, Mihaela and Havelund, Klaus and Holzmann, Gerard and Joshi, Rajeev, eds. NASA Formal Methods. Lecture Notes in Computer Science, 6617 . Springer-Verlag, pp. 182-196. ISBN 978-3-642-20397-8. (Full text available)

This list was generated on Tue Jun 19 21:07:42 2018 BST.