(Q106245758)

English

Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005

academic conference

  • 15th LOPSTR 2005: London, UK

Statements

Logic Based Program Synthesis and Transformation, 15th International Symposium (English)

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit