Sign in
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