Automated verification of properties of interactive components from their executable code

EICS'15 - ACM SIGCHI Symposium on Engineering Interactive Computing Systems 23-26. 06. 2015. Published by ACM. Duisburg, Germany 2015 pp. 276-285 ISBN: 978-1-4503-3646-8 DOI 10.1145/2774225.2774848