Catálogo de publicaciones - actas de congreso
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
Computing and Processing
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No detectada | 2017 | IEEE Xplore |
Información
Tipo de recurso:
actas de congreso
ISBN impreso
978-1-5386-0423-6
ISBN electrónico
978-1-5386-0422-9
Editor responsable
Institute of Electrical and Electronics Engineers (IEEE)
País de edición
Estados Unidos
Fecha de publicación
2017
