Catálogo de publicaciones - actas de congreso
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Computing & Processing (Hardware/Software)
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2006 | IEEE Xplore |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-0-7695-3071-0
Editor responsable
Institute of Electrical and Electronics Engineers (IEEE)
País de edición
Estados Unidos
Fecha de publicación
2006
