{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-2503/paper1_11.html","spt.description":null,"spt.id":"Vol-2503/paper1_11","spt.wikidataid":null,"spt.title":"Formal Verification of Interactive Computing Systems: Opportunities and Challenges","spt.pdfUrl":"https://ceur-ws.org/Vol-2503/paper1_11.pdf","spt.volume":{"number":2503,"acronym":"HCI Engineering 2019","wikidataid":"Q113542758","title":"Joint Proceedings HCI Engineering 2019 – Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints","description":"Proceedings of HCI Engineering 2019 workshop","url":"http://ceur-ws.org/Vol-2503/","date":"2019-11-26","dblp":"conf/eics/2019w","k10plus":"1688549900","urn":"urn:nbn:de:0074-2503-0"},"spt.session":null,"cvb.id":"Vol-2503/paper1_11","cvb.title":"Formal Verification of Interactive Computing Systems: Opportunities and Challenges","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"José C. Campos,Michael D.Harrison","cvb.vol_number":"2503","cvb.pdf_name":"paper1_11.pdf","cvb.pages":"69-75","cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/eics/CamposH19","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/eics/2019w","dblp.volume_number":2503,"dblp.title":"Formal Verification of Interactive Computing Systems: Opportunities, Challenges.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/50/1029","label":"Michael D. Harrison","wikidata_id":"Q60662667","orcid_id":"0000-0002-5567-9650","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/c/JoseCreissacCampos","label":"José Creissac Campos","wikidata_id":"Q59688071","orcid_id":"0000-0001-9163-580X","gnd_id":null}],"dblp.pdf_id":"Vol-2503/paper1_11"}