Integrated Formal Methods: 9th International Conference, IFM ...
Preview
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne. Volume Editors John Derrick University of Sheffield Department of Computer Science Regent ...