1
Publicado em 2007
Sumário: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
Obter o texto integral
Recurso Eletrônico livro eletrônico