- Title
- Formal verification problems in a big data world: towards a mighty synergy
- Creators
- Matteo Camilli - University of Milan
- Publication Details
- 36th International conference on software engineering (ICSE companion 2014) : proceedings : Hyderabad, India, May 31-June 07, 2014
- Editor(s)
- Jalote P, Briand LC, van der Hoek A
- Conference
- 36th International Conference on Software Engineering, ICSE '14 (Hyderabad, 31/05/2014 - 07/06/2014)
- Publisher
- ACM
- Identifiers
- (UNIBZ)31320387
991006495382701241 - Web of Science ID
- WOS:000380902900117
- Scopus ID
- 2-s2.0-84903647900
- Academic Unit
- Faculty of Computer Science
- Language
- English
- Resource Type
- Conference proceeding
- Author Names String
- Camilli M
- Additional Description
- Editors/Supervisors: P. Jalote, L.C. Briand, A. van der Hoek
unibz-area: SwSE- Software and Systems Engineering
MIURSSD: Informatica;Sistemi di elaborazione delle informazioni
MIURSSDCODE: INF/01;ING-INF/05
Conference proceeding
Formal verification problems in a big data world: towards a mighty synergy
36th International conference on software engineering (ICSE companion 2014) : proceedings : Hyderabad, India, May 31-June 07, 2014
36th International Conference on Software Engineering, ICSE '14 (Hyderabad, 31/05/2014 - 07/06/2014)
2014
Handle:
https://hdl.handle.net/10863/33133
Details
Metrics
6 Record Views