C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient Loop-Extended Model Checking of Data Structure Methods.
Qiuping Yi
Jian Liu
Wuwei Shen
Published in:
FGIT-ASEA/DRBC/EL (2011)
Keyphrases
</>
model checking
data structure
temporal logic
artificial intelligence
formal specification
finite state
rough sets