Darwin : Una herramienta para verificar diseños arquitecturales
| Publicado en: | Workshop de Investigadores en Ciencias de la Computación (8º : 2006 : Morón) - Sin autor - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad de Morón - WICC 2006 [CD-ROM] - . |
|---|---|
| Autor Principal: | |
| Formato: | Capítulo de libro |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | p. 258-262 |