@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 2024/10/23}}}