Login / Signup

Abstracting path conditions.

Jan StrejcekMarek Trtík
Published in: ISSTA (2012)
Keyphrases
  • sufficient conditions
  • special case
  • general conditions
  • information systems
  • multiscale
  • wide range