作 者:Martin Hofmann ;Benjamin Pierce ;Daniel Wagner
出 处:Electronic Communications of the EASST. 2013 ;57.
出 版 社:European Association of Software Science and Technology (EASST)
文 章 ID:100465778