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.

Verification of properties of interactive components from their executable code

Stéphane Chatty, Mathieu Magnaudet, Daniel Prun. Verification of properties of interactive components from their executable code. In Michael Nebeling, Jürgen Ziegler 0001, Laurence Nigay, editors, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2015, Duisburg, Germany, June 23-26, 2015. pages 276-285, ACM, 2015. [doi]

Authors

Stéphane Chatty

This author has not been identified. Look up 'Stéphane Chatty' in Google

Mathieu Magnaudet

This author has not been identified. Look up 'Mathieu Magnaudet' in Google

Daniel Prun

This author has not been identified. Look up 'Daniel Prun' in Google
runs on