1
Publicat 2007
Taula de continguts: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
Obtenir text complet
Electrònic eBook