Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Algebra and Models

Algebra and Models

C. A. R. Hoare

Book Title
SIGSOFT '93‚ Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering‚ Los Angeles‚ California‚ USA‚ December 7−10‚ 1993
Editor
David Notkin
Pages
1−8
Publisher
ACM
Year
1993

Links

See Also

Back to Top