Sciweavers

SAS
2007
Springer

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

14 years 5 months ago
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
Francesco Banterle, Roberto Giacobazzi
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SAS
Authors Francesco Banterle, Roberto Giacobazzi
Comments (0)