Property-directed incremental invariant generation

Author(s)

Journal

  • Formal Asp. Comput.

    Formal Asp. Comput. 20(4-5), 379-405, 2008

Cited by:  1

Codes

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