An Interface Theory for Program Verification.

Dirk Beyer Sudeep Kanav

Published in: ISoLA (1) (2020)

Keyphrases

user interface
theoretical framework
theoretical basis
general theory
hidden markov models
neural network
information systems
data sets
databases
expert systems
information technology
data model
computational model
decision theory
interface design