Automatic generation of polynomial invariants of bounded degree using abstract interpretation

Journal

  • Sci. Comput. Program.

    Sci. Comput. Program. 64(1), 54-75, 2007

Cited by:  1

Codes

  • NII Article ID (NAID)
    10031113547
  • Article Type
    Journal Article
  • Data Source
    CJPref 
Page Top