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

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

Jump to: Conference or workshop item

Number of items: 1.

Conference or workshop item

Simon, Axel and King, Andy (2007) Taming the Wrapping of Integer Arithmetic. In: File, Gilberto and Nielson, Hanne Riis, eds. Fourteenth International Static Analysis Symposium. Lecture Notes in Computer Science, 4634. Springer pp. 121-126. ISBN 978-3-540-74060-5 .

Preview

This list was generated on Thu Jun 20 00:27:55 2013 BST.