作 者:Nuno Macedo ;Hugo Pacheco ;Alcino Cunha 等
出 处:Electronic Communications of the EASST. 2013 ;57.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100466026
作 者:Hugo Pacheco ;Alcino Cunha ;Zhenjiang Hu
出 处:Electronic Communications of the EASST. 2012 ;49.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100466083
作 者:Julien Brunel ;David Chemouil ;Alcino Cunha 等
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;310:63-69.doi:10.4204/EPTCS.310.7
出 版 社:Open Publishing Association
文 章 ID:1034734001