1
Udgivet 2007
Indholdsfortegnelse: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
Få fuldtekst
Electronisk eBog