1
Publicado 2007
Tabla de Contenidos: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Enlace del recurso
Electrónico eBook
2
Publicado 2010
Tabla de Contenidos: ... -- IntPatch: Automatically Fix Integer-Overflow-to-Buffer-Overflow Vulnerability at Compile-Time -- A Theory...
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... Motivated by Hardware Evolution -- Contributed Papers -- A Compilation Model for Aspect-Oriented...
Enlace del recurso
Electrónico eBook
4
Publicado 2006
Tabla de Contenidos: ... -- Algorithms for Stochastic CSPs -- Graph Properties Based Filtering -- The ROOTS Constraint -- CoJava...
Enlace del recurso
Electrónico eBook