提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/fuin/RobertsonAHL94澳大利亚-罗伯逊，大卫·斯图亚特AU-阿古斯蒂-库勒，久美AU-赫斯基，简AU-利维，约尔迪TI-使用精化格表示程序需求。JO-芬丹。信息学VL-21IS-3标准SP-163EP-1821994年上半年//DO-10.3233/FI-1994-2131UR-（欧元）https://doi.org/10.3233/FI-1994-2131急诊室-