• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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