Login / Signup
An abstract interpretation-based model for safety semantics.
Isabella Mastroeni
Roberto Giacobazzi
Published in:
Int. J. Comput. Math. (2011)
Keyphrases
</>
high level
conceptual model
information systems
database systems