Bruno Emond. Formal Methods in Human-Computer Interaction and Adaptive Instructional Systems. In Robert A. Sottilare, Jessica Schwarz, editors, Adaptive Instructional Systems. Design and Evaluation - Third International Conference, AIS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I. Volume 12792 of Lecture Notes in Computer Science, pages 183-198, Springer, 2021. [doi]
@inproceedings{Emond21, title = {Formal Methods in Human-Computer Interaction and Adaptive Instructional Systems}, author = {Bruno Emond}, year = {2021}, doi = {10.1007/978-3-030-77857-6_12}, url = {https://doi.org/10.1007/978-3-030-77857-6_12}, researchr = {https://researchr.org/publication/Emond21}, cites = {0}, citedby = {0}, pages = {183-198}, booktitle = {Adaptive Instructional Systems. Design and Evaluation - Third International Conference, AIS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I}, editor = {Robert A. Sottilare and Jessica Schwarz}, volume = {12792}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-77857-6}, }