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.

Formalised development of software by machine assisted transformation

Colin Runciman, Mike Firth. Formalised development of software by machine assisted transformation. In Mark Moriconi, editor, Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990. pages 115-117, ACM, 1990. [doi]

Authors

Colin Runciman

This author has not been identified. Look up 'Colin Runciman' in Google

Mike Firth

This author has not been identified. Look up 'Mike Firth' in Google
runs on