Login
Admin
Dashboards
Simple search
|
Advanced search
Home
Browse
Latest additions
Help
Contact
Browse by Person (creator, editor, contributor, etc.)
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Multiline CSV (Staff)
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
|
No Grouping
Jump to:
Article
|
Book section
Number of items:
2
.
Article
Barrett, Edd
and
King, Andy
(2012)
Range and Set Abstraction using SAT.
Electronic Notes in Theoretical Computer Science, 267 (1). pp. 93-107. ISSN 978-3-642-32468-0. (doi:
https://doi.org/10.1016/j.entcs.2010.09.003
) (Full text available)
Book section
Barrett, Edd
and
King, Andy
(1992)
Range Analysis of Binaries with Minimal Effort.
In: Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science, 7437 . Springer, pp. 93-107. ISBN 978-3-642-32468-0. (doi:
https://doi.org/10.1007/978-3-642-32469-7_7
) (Full text available)
Preview
This list was generated on
Wed Apr 18 21:02:25 2018 BST
.