Non-linear loop invariant generation using grobner bases

Journal

  • POPL, 2004

    POPL, 2004, 318-329, 2004

Cited by:  1

Codes

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