C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
Crystal Chang Din
Richard Bubel
Reiner Hähnle
Published in:
CADE (2015)
Keyphrases
</>
modelling language
model checking
database
e learning
learning process
learning design
formal semantics
user interface
object oriented