BibTeX记录conf/ismis/RobertsonAHL93

下载为.bib文件

@正在进行{DBLP:conf/ismis/RobertsonAHL93,author={大卫·斯图亚特·罗伯逊和杰姆·阿古斯特(Jaume Agust){-}卡莱尔Jane Hesketh和Jordi Levy},editor={Henryk Jan Komorowski和Zbigniew W.Ras},title={使用精化格表示程序需求},booktitle={智能系统方法论,第七届国际研讨会,{ISMIS}'93,挪威特隆赫姆,1993年6月15-18日,会议记录},series={计算机科学讲稿},体积={689},页数={245--254},publisher={Springer},年份={1993},url={https://doi.org/10.1007/3-540-56804-2\_23},doi={10.1007/3-540-56804-2\_23},timestamp={2022年9月13日星期二21:45:39+0200},biburl={https://dblp.org/rec/conf/ismis/RobertsonAHL93.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
服务莱布尼茨信息中心(Schloss Dagstuhl)