Login / Signup

Data Flow Analysis for Verifying Properties of Concurrent Programs.

Matthew B. DwyerLori A. Clarke
Published in: SIGSOFT FSE (1994)
Keyphrases
  • flow analysis
  • database
  • computer systems
  • databases
  • user interface
  • general purpose
  • data quality