Número de Cutter-SanbornW246aEntrada «Wang» → 246 · marca de obra “a”

Abstraction Refinement for Large Scale Model Checking

Name: Abstraction Refinement for Large Scale Model Checking
ISBN: 9780387346007

Autor	Chao Wang, Gary D. Hachtel, Fabio Somenzi
Editorial	Springer London, Limited
Fecha de publicación	2006
Idioma	inglés
ISBN-13	9780387346007
Número de Cutter	`W246a`

Abstraction Refinement for Large Scale Model Checking (2006) — ISBN 9780387346007 | Cutter Number