@inproceedings{inproceedings, title = {{Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings}},
publisher = {{Springer}},
url = {{}},
year = {{2012}},
month = {{1}},
author = {{}},
isbn = {{978-3-642-30728-7}},
volume = {{7321}},
journal = {{IFM}},
note = {{Accessed on 2025/08/18}}}