C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Assertions-Based Approach to Verifying the Absence Property Pattern.
Marc Frappier
Amel Mammar
Published in:
ISSRE (2012)
Keyphrases
</>
knowledge base
pattern matching
databases
model checking
associative memory
real time
real world
information systems
high level
wide range
digital libraries
medical images
anti monotonic