(Q106087707)

English

Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005

academic conference

  • 1st VSTTE 2005: Zurich, Switzerland

Statements

Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference (English)
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit