1
Published 2007
Table of Contents: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Algorithms for Stochastic CSPs -- Graph Properties Based Filtering -- The ROOTS Constraint -- CoJava...
View full text
Electronic eBook