程序设计的形式方法及其应用,国际
Dines Björner餐厅 , 曼弗雷德·布罗伊 , 伊戈尔·波托辛 :
《程序设计中的形式方法及其应用》,国际会议,Akademgorodok,俄罗斯新西伯利亚,1993年6月28日-7月2日,会议记录。 计算机科学课堂讲稿 735, 施普林格 1993 ,国际标准图书编号 3-540-57316-X型 [目录]
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。