This VIAF Cluster has been deleted. It is no longer part of VIAF.
Davies, Jim. | Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
VIAF ID: 313972611 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/313972611
Preferred Forms
4xx's: Alternate Name Forms (1)
Selected Titles
Author
:
Davies, Jim.