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 and verification: the Spec# experience

Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter. Specification and verification: the Spec# experience. Communications of the ACM, 54(6):81-91, 2011. [doi]

Authors

Mike Barnett

This author has not been identified. Look up 'Mike Barnett' in Google

Manuel Fähndrich

This author has not been identified. Look up 'Manuel Fähndrich' in Google

K. Rustan M. Leino

This author has not been identified. Look up 'K. Rustan M. Leino' in Google

Peter Müller

This author has not been identified. Look up 'Peter Müller' in Google

Wolfram Schulte

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

Herman Venter

This author has not been identified. Look up 'Herman Venter' in Google
runs on