提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ecop/Dinsdale-YoungDGPV10澳大利亚——汤姆斯·丁斯代尔·扬澳大利亚-多兹，迈克澳大利亚-菲利普·加德纳AU-帕金森，Matthew J。AU-维克多·瓦菲亚迪斯TI-并发抽象谓词。2010年6月21日至25日，第24届欧洲会议，BT-ECOOP 2010-面向对象编程，斯洛文尼亚马里博尔。诉讼SP-504型EP-5282010年上半年//DO-2007年10月10日/978-3-642-14107-2_24UR-（欧元）https://doi.org/10.1007/978-3-642-14107-2_24急诊室-