Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Integrated Formal Methods

Integrated Formal Methods

Book Title
Integrated Formal Methods
Editor
Jim Davies and Jeremy Gibbons
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
4591
Year
2007

Links

See Also

Back to Top