TY  - CONF

T1  - Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

JO  - IFM

PY  - 2012/01/01

AU  - 

ED  - Derrick J

ED  - Gnesi S

ED  - Latella D

ED  - Treharne H

PB  - Springer

SN  - 978-3-642-30728-7

VL  - 7321

Y2  - 2024/12/22

ER  -