Capa

Abstraction Refinement for Large Scale Model Checking

SPRINGER
12 / 2014
9781489993953
978-14-8999-395-3
Inglês
Integrated Circuits and Systems
ESPANHA
Ingles