作 者:Ralph Matthes ;Celia Picard
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;19:55-69.doi:10.4230/LIPIcs.TYPES.2011.55
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846237
作 者:Celia Picard ;Ralph Matthes
出 处:Electronic Communications of the EASST. 2011 ;39.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:185436388