Metrics
34 Record Views
- Title
- Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- Contributors
- J Derrick (Editor)S Gnesi (Editor)D Latella (Editor)H Treharne (Editor)
- Publication Details
- IFM, Vol.7321
- Publisher
- Springer
- Date published
- 2012
- Date submitted
- 17/05/2017
- Identifiers
- 99515783302346
- Academic Unit
- University of Surrey; School of Computer Science and Electronic Engineering
- Resource Type
- Conference proceeding