Number of items: 1.
|
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 .
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)  Preview |
|
This list was generated on Tue May 21 01:52:40 2013 BST.