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.

Specification refinements: Calculi, tools, and applications

Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki. Specification refinements: Calculi, tools, and applications. Science of Computer Programming, 144:1-49, 2017. [doi]

Authors

Mihai Codescu

This author has not been identified. Look up 'Mihai Codescu' in Google

Till Mossakowski

This author has not been identified. It may be one of the following persons: Look up 'Till Mossakowski' in Google

Donald Sannella

This author has not been identified. It may be one of the following persons: Look up 'Donald Sannella' in Google

Andrzej Tarlecki

This author has not been identified. Look up 'Andrzej Tarlecki' in Google
runs on