Linear invariant generation using non-linear constraint solving

Author(s)

Journal

  • CAV, 2003

    CAV, 2003, 420-432, 2003

Cited by:  1

Codes

  • NII Article ID (NAID)
    10031113540
  • Article Type
    Proceedings
  • Data Source
    CJPref 
Page Top