Formal methods in human-computer interaction and adaptive instructional systems

From National Research Council Canada

DOIResolve DOI: https://doi.org/10.1007/978-3-030-77857-6_12
AuthorSearch for: 1ORCID identifier: https://orcid.org/0000-0003-0901-8293
Name affiliation
  1. National Research Council of Canada. Digital Technologies
FormatText, Article
Subjectformal methods; human-computer interaction; adaptive instructional systems
Abstract
Publication date
PublisherSpringer
In
Series
LanguageEnglish
Peer reviewedYes
Export citationExport as RIS
Report a correctionReport a correction (opens in a new tab)
Record identifier95606d7f-c575-4fb8-b170-45222f22cb91
Record created2021-08-11
Record modified2021-08-11
Date modified: