提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/compans/LevyA92AU-利维，约尔迪AU-阿古斯蒂-库勒，久美TI-用双重写系统实现不等式和非确定性规范。英国电信（BT）：数据类型规范的最新趋势，第九届抽象数据类型规范研讨会，与第四届COMPASS研讨会联合举办，西班牙卡尔德斯·德·马拉维拉，1992年10月26日至30日，论文集第252页欧洲药典-2671992年上半年//DO-2007年10月10日/3-540-57867-6_15UR-（欧元）https://doi.org/10.1007/3-540-57867-6_15急诊室-