Preface to special issue: ICTAC 2015

著录项

• 来源
  《Mathematical structures in computer science》 |2019年第1期|1-2|共2页
• 作者

  Leucker Martin; Perez Jorge A.; Rueda Camilo; Valencia Frank D.;

  展开▼
• 作者单位

  Univ Lubeck, Inst Software Engn & Programming Languages, Ratzeburger Allee 160, D-23562 Lubeck, Germany;

  Univ Groningen, Nijenborgh 9, NL-9747 AG Groningen, Netherlands;

  Univ Javeriana Cali, Calle 18, Cali 118250, Colombia;

  Univ Javeriana Cali, Calle 18, Cali 118250, Colombia|Ecole Polytech Paris, CNRS, 1 Rue Honore Estienne Orves, F-91120 Palaiseau, France|Ecole Polytech Paris, LIX, 1 Rue Honore Estienne Orves, F-91120 Palaiseau, France;

  展开▼
• 收录信息
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词