Jim Davies

Jim Davies may refer to: Provided by Wikipedia
1
Formal Methods: Foundations and Applications [E-Book] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers /
Other Personal Name(s): “...Davies, Jim....”

Full text 
Favorites
Saved in:
2
Integrated Formal Methods [E-Book] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
Other Personal Name(s): “...Davies, Jim...”

Full text 
Favorites
Saved in:
3
Formal Methods and Software Engineering [E-Book] : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings /
Other Personal Name(s): “...Davies, Jim....”

Full text 
Favorites
Saved in:
4
FM’99 — Formal Methods [E-Book] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I /
Other Personal Name(s): “...Davies, Jim....”

Full text 
Favorites
Saved in:
5
FM’99 — Formal Methods [E-Book] : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II /
Other Personal Name(s): “...Davies, Jim....”

Full text 
Favorites
Saved in:
6
Specification and Proof in Real Time CSP [E-Book] /
Other Personal Name(s): “...Davies, Jim....”

Full text 
Favorites
Saved in: