VIAF

Virtual International Authority File

Search

Davies, Jim. Sudoc [ABES], France National Diet Library, Japan National Library of the Netherlands NUKAT Center of Warsaw University Library

Jim Davies Wikidata ISNI

Davies, Jim, 1964- Library of Congress/NACO National Library of the Czech Republic

VIAF ID: 116841645 (Personal)

Permalink: http://viaf.org/viaf/116841645

ISNI: 0000  0001  1455  6948 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (4)

Open Section Close SectionWorks

Title Sources
Developments in Services of General Interest Sudoc [ABES], France
FM '99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO
Formal methods: foundations and applications 13th brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers Sudoc [ABES], France
GNU scientific library : reference manual Sudoc [ABES], France
ICFEM 2004 Sudoc [ABES], France National Library of the Netherlands
IFM 2007 Library of Congress/NACO
Proceedings of the first international workshop on formal methods education and training National Diet Library, Japan
SBMF 2010 Sudoc [ABES], France
Specification and proof in real-time CSP Sudoc [ABES], France National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (9)

Open Section Close Section History of VIAF ID:116841645 (12)