J.C. Campos and M.D. Harrison
Formal verification of interactive computing systems: opportunities and challenges
In HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, volume 2503 of CEUR Workshop Proceedings, pages 69-75. 2019.

visit publisher   

@inproceedings{CamposH:2019,
 author = {J.C. Campos and M.D. Harrison},
 title = {Formal verification of interactive computing systems: opportunities and challenges},
 booktitle = {HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints},
 pages = {69-75},
 year = {2019},
   series = {CEUR Workshop Proceedings},
 volume = {2503},
 url = {http://ceur-ws.org/Vol-2503/paper1_11.pdf}
}

Generated by mkBiblio 2.6.28