External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Program Specifications and Formal Development

Cliff B. Jones. Program Specifications and Formal Development. In E. Morlet, D. Ribbens, editors, International Computing Symposium 1977, Proceedings of the International Computing Symposium 1977, Liège, Belgium, 4-7 April 1977 (Preprint). pages 537-553, North-Holland, 1977.

Abstract

Abstract is missing.

runs on