Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /

57

Bibliographic Details
Main Authors:	International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), Davies, Jim, 1964-, Gibbons, Jeremy, 1966-
Format:
Language:	eng
Published:	Berlin : Springer-Verlag, 2007
Subjects:	Formal methods (Computer science)
Online Access:	http://dx.doi.org/10.1007/978-3-540-73210-5

Similar Items

Developments in Language Theory [electronic resource] : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007: Proceedings /
by: Conference on Developments in Language Theory (11th : 2007 : Turku, Finland), et al.
Published: (2007)

Automata, languages and programming : 34th international colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007 : proceedings /
by: International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wroclaw, Poland), et al.
Published: (2007)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
by: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
Published: (2007)

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
by: EPEW 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
by: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
Published: (2005)

Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
by: FORTE 2007 (2007 : Tallinn, Estonia), et al.
Published: (2007)

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /
by: FORMATS 2007 (2007 : Salzburg, Austria), et al.
Published: (2007)

Formation and evolution of galaxy bulges : proceedings of the 245th Symposium of the International Astronomical Union, held in Oxford, United Kingdom, July 16-20, 2007 /
by: 491163 International Astronomical Union. Symposium (245th : 2007 : Oxford, England), et al.
Published: (2008)

Formal models and practical tools for information systems design : proceedings/
by: IFTP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, April 17-20, 1979 Oxford, et al.
Published: (1979)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
by: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), et al.
Published: (2006)

Virtual reality : second international conference, ICVR 2007, held as part of HCI International 2007, Beijing, China, July 22-27, 2007 : proceedings /
by: ICVR 2007 (2007 : Beijing, China), et al.
Published: (2007)

Advances in spatial and temporal databases : 10th international symposium, SSTD 2007, Boston, MA, USA, July 16-18, 2007 : proceedings /
by: SSTD 2007 (2007 : Boston, Mass.), et al.
Published: (2007)

Formal Concept Analysis [electronic resource] : 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings /
by: International Conference on Formal Concept Analysis (5th : 2007 : Clermont-Ferrand, France), et al.
Published: (2007)

Advances in fracture and damage mechanics VI : proceedings of the 6th International Conference on Fracture and Damage Mechanics, FDM 2007, 17-19 July 2007 Portugal /
by: International Conference on Fracture and Damage Mechanics (6th : 2007 : Madeira, Portugal), et al.
Published: (2007)

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings /
by: International Conference on Formal Methods for Open Object-Based Distributed Systems (9th : 2007 : Paphos, Cyprus), et al.
Published: (2007)

Book Review: Glaser, B.G. (2007). Doing Formal Grounded Theory: A Proposal
by: Alvita K. Nathaniel, PhD, APRN, BC
Published: (2007-06-01)

Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
by: CAV Conference (19th : 2007 : Berlin, Germany), et al.
Published: (2007)

Advances in climbing and walking robots : proceedings of the 10th International Conference (CLAWAR 2007), Singapore, 16-18 July 2007 /
by: International Conference on Climbing and Walking Robots (10th : 2007 : Singapore), et al.
Published: (2007)

Formal Methods Pacific '97 : proceedings of FMP'97, 9-11 July 1997, Wellington, New Zealand /
by: Groves, Lindsay, et al.
Published: (1997)

User Modeling 2007 [electronic resource] : 11th International Conference, UM 2007, Corfu, Greece, July 25-29, 2007: Proceedings /
by: International Conference on User Modeling (11th : 2007 : Corfu, Greece), et al.
Published: (2007)

Ubiquitous intelligence and computing : 4th international conference, UIC 2007, Hong Kong, China, July 11-13, 2007 : proceedings /
by: UIC 2007 (2007 : Hong Kong, China), et al.
Published: (2007)

Security and Privacy in Ad-hoc and Sensor Networks [electronic resource] : 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007: Proceedings /
by: European Workshop on Security in Ad-Hoc and Sensor Networks (4th : 2007 : Cambridge, England), et al.
Published: (2007)

Computing and Combinatorics [electronic resource] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007: Proceedings /
by: COCOON 2007 (2007 : Banff, Alta.), et al.
Published: (2007)

Multimedia content analysis and mining [electronic resources]: international workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007 : proceedings/
by: MCAM 2007 (2007 : Weihai, China), et al.
Published: (2007)

Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007: Proceedings /
by: AB 2007 (2007 : Castle of Hagenberg, Austria), et al.
Published: (2007)

Web Engineering [electronic resource] : 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings /
by: ICWE 2007 (2007 : Como, Italy), et al.
Published: (2007)

Conceptual Structures: Knowledge Architectures for Smart Applications [electronic resource] : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007: Proceedings /
by: International Conference on Conceptual Structures (15th : 2007 : Sheffield, England), et al.
Published: (2007)

Online Communities and Social Computing [electronic resource] : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: OCSC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Combinatorial Pattern Matching [electronic resource] : 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007: Proceedings /
by: Symposium on Combinatorial Pattern Matching (18th : 2007: London, Ont.), et al.
Published: (2007)

Ergonomics and Health Aspects of Work with Computers [electronic resource] : International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: EHAWC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Abstraction, reformulation, and approximation : [electronic resources] 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings /
by: SARA 2007 (2007 : Whistler, B.C.), et al.
Published: (c200)

Formal Methods : Applications And Technology :11th International Workshop, FMICS 2006 And 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
by: International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany), et al.
Published: (2007)

ECOOP 2007 -- Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007: Proceedings /
by: ECOOP 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007: Proceedings /
by: ATC 2007 (2007 : Hong Kong, China), et al.
Published: (2007)

Information security and privacy [electronic resource]: 12th Australasian conference, ACISP 2007, Townsville, Australia, July 2-4, 2007 : proceedings/
by: ACISP 2007 (2007 : Townsville, Qld.), et al.
Published: (2007)

Engineering Psychology and Cognitive Ergonomics [electronic resource] : 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: International Conference on Engineering Psychology and Cognitive Ergonomics (7th : 2007 : Beijing, China), et al.
Published: (2007)

Genome informatics 2007 : proceedings of the 7th Annual International Workshop on Bioinformatics and Systems Biology (IBSB 2007), Institute of Medical Science, University of Tokyo, Japan, 31 July-2 August 2007 /
by: International Workshop on Bioinformatics and Systems Biology (7th : 2007 : University of Tokyo), et al.
Published: (2007)

Information processing in medical imaging [electronic resource]: 20th international conference, IPMI 2007, Kerkrade, The Netherlands, July 2-6, 2007 : proceedings/
by: International Conference on Information Processing in Medical Imaging (20th : 2007 : Kerkrade, Netherlands), et al.
Published: (2007)

Human interface and the management of information, methods, techniques and tools in information design : Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007 proceedings /
by: Symposium on Human Interface 2007 (2007 : Beijing, China), et al.
Published: (2007)

Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007: Proceedings /
by: CBSE 2007 (2007 : Medford, Mass.), et al.
Published: (2007)