Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014 York, UK, July 24-25, 2014 : Proceedings /
Selección de ponencias de la octava Conferencia Internacional sobre Pruebas y Demostraciones, celebrada en York, Inglaterra, en julio de 2014. Los artículos cubren temas en las siguientes cuatro áreas de investigación: generación de pruebas, reducción de brechas semánticas, procesos de desarrollo in...
Guardado en:
| Autor corporativo: | |
|---|---|
| Otros autores: | , |
| Formato: | Procedimiento de la conferencia Libro |
| Idioma: | Inglés |
| Publicado: |
Cham, Suiza :
Springer,
2014, c2014
|
| Colección: | (Lecture Notes in Computer Science ;
8570) |
| Temas: | |
| Acceso en línea: | Ver documento en línea |
| Etiquetas: |
Sin etiquetas, Sé el primero en etiquetar este registro!
|
Ejemplares similares: Tests and Proofs :
- Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014 : Proceedings /
- Hardware and Software : Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : Proceedings /
- Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 : Proceedings /
- Passive and Active Measurement : 15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014 : Proceedings /
- Hardware and Software : Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : Revised Selected Papers /
- Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /