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.

POSIX and the Verification Grand Challenge: A Roadmap

Leo Freitas, Jim Woodcock, Andrew Butterfield. POSIX and the Verification Grand Challenge: A Roadmap. In 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland. pages 153-162, IEEE Computer Society, 2008. [doi]

Authors

Leo Freitas

This author has not been identified. Look up 'Leo Freitas' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google

Andrew Butterfield

This author has not been identified. Look up 'Andrew Butterfield' in Google
runs on