Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming decision » programming decisions, programming recursion, programming design
decision array » decision areas, emission array, decision diagram
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming decision » programming decisions, programming recursion, programming design
decision array » decision areas, emission array, decision diagram
1
Publicado 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Ligazón do recurso
Electrónico
eBook
