C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Reducer-based construction of conditional verifiers.
Dirk Beyer
Marie-Christine Jakobs
Thomas Lemberger
Heike Wehrheim
Published in:
ICSE (2018)
Keyphrases
</>
random field model
database
neural network
artificial intelligence
e learning