Automatic Checking of Instruction Specifications.

Mary F. Fernandez Norman Ramsey

Published in: ICSE (1997)

Keyphrases

multimedia
data driven
information retrieval
social networks
high level
data sets
delay insensitive