C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Runtime Verification Logics A Language Design Perspective.
Klaus Havelund
Giles Reger
Published in:
Models, Algorithms, Logics and Tools (2017)
Keyphrases
</>
viewpoint
language learning
building blocks
engineering design
formal verification
modelling language
information retrieval
artificial intelligence
information systems
knowledge based systems
design patterns
face verification