Login / Signup
Towards Mechanized Program Verification with Separation Logic.
Tjark Weber
Published in:
CSL (2004)
Keyphrases
</>
logic programming
modal logic
multi valued
classical logic
databases
real time
set theory
database
multiscale
natural language
formal theory