VIAF

Virtual International Authority File

Search

Davies, Jim. National Library of the Netherlands-test 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-test

Jim Davies Wikidata

VIAF ID: 116841645 (Personal)

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

ISNI-test: 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: 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-test Sudoc [ABES], France
IFM 2007 Library of Congress/NACO
Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings xR Extended Titles-test National Library of the Netherlands-test Sudoc [ABES], France 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
Using Z : specification, refinement, and proof National Library of the Netherlands-test NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (8)

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