VIAF

Virtual International Authority File

Search

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

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

Jim Davies Wikidata

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 (3)

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 NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings National Library of the Netherlands Sudoc [ABES], France 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 National Library of the Netherlands Sudoc [ABES], France
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, 1993: National Library of the Netherlands Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France
Using Z NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

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