Formal Verification of Interactive Computing Systems: Opportunities and Challenges

AuthID
P-00R-FFP
2
Author(s)
1
Editor(s)
Weyers B.Bowen J.
Document Type
Proceedings Paper
Year published
2019
Published in
2019 Joint Hci Engineering - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, Hci Engineering 2019 in: Ceur Workshop Proceedings, 18 June 2019
Volume 2503, Pages 69-75
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-85076004027
Source Identifiers
ISSN: 1613-0073
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.