Login / Signup
Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework.
Evelyn Duesterwald
Mary Lou Soffa
Published in:
Symposium on Testing, Analysis, and Verification (1991)
Keyphrases
</>
data flow
database machine
data transfer
analysis tool
digital signal processing
object oriented software
case study
static analysis