Login / Signup

Automated Analysis of Java Methods for Confidentiality.

Pavol CernýRajeev Alur
Published in: CAV (2009)
Keyphrases
  • automated analysis
  • biomedical imaging
  • automated detection
  • metadata
  • data analysis
  • open source