C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hoare-Style Reasoning from Multiple Contracts.
Olaf Owe
Toktam Ramezanifarkhani
Elahe Fazeldehkordi
Published in:
IFM (2017)
Keyphrases
</>
knowledge base
supply chain
knowledge acquisition
reasoning systems
database
neural network
artificial intelligence
social networks
domain knowledge
combining multiple
probabilistic reasoning
meta level
automated reasoning