(Q106337745)

English

Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007

academic conference

  • 8th VMCAI 2007: Nice, France

Statements

Verification, Model Checking, and Abstract Interpretation, 8th International Conference (English)
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit