作　　者：Reiko Heckel ;Jean-Marie Favre ;Tom Mens

出　　处：Electronic Communications of the EASST. 2006 ;3(0).

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：100465463

作　　者：Reiko Heckel ;Jean-Marie Favre ;Tom Mens

出　　处：Electronic Communications of the EASST. 2007 ;3.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：185429447

作　　者：Jean-Marie Favre

出　　处：OASIcs : OpenAccess Series in Informatics. 2013 ;29:3-3.doi:10.4230/OASIcs.SLATE.2013.3

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186848584