(Q106245755)

English

Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015

academic conference

  • 25th LOPSTR 2015: Siena, Italy

Statements

Logic-Based Program Synthesis and Transformation - 25th International Symposium (English)

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit