Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming

Author(s)

Journal

  • VMCAI, 2005

    VMCAI, 2005, 1-24, 2005

    Springer

Cited by:  1

Codes

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