乔治·戈特洛布（编辑）;托马斯·亨辛格（Thomas A.Henzinger）。（编辑）;乔治·威森巴赫（编辑） 纪念赫尔穆特·维思的特刊前言。 （英语） Zbl 1384.00074号 形式方法系统。设计。 51，第2号，267-269（2017）. 正文：《系统设计中的形式方法杂志》的这期特刊是献给赫尔穆特·维思教授的，他于2016年3月意外去世。本期特刊有六篇文章与赫尔穆特的贡献和成就密切相关。 引用于1文件 MSC公司： 00B15号机组 收藏其他特别感兴趣的物品 68-03 计算机科学史 68-06 与计算机科学有关的会议记录、会议、收藏等 01A70号 传记、讣告、个人信息、参考书目 传记参考： 赫尔穆特·维思 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}（编辑）等，《形式方法系统》。设计。51，No.2，267--269（2017；Zbl 1384.00074） 全文： 内政部 参考文献： [1] Clarke E、Grumberg O、Jha S、Lu Y、Veith H（2000）《反示例引导的抽象求精》。摘自：计算机辅助验证国际会议记录。施普林格，第154-169页·Zbl 0974.68517号 [2] Clarke E，Grumberg O，Jha S，Lu Y，Veith H（2003）符号模型检查的反示例引导抽象求精。美国临床医学杂志50（5）：752-794·Zbl 1325.68145号 ·doi:10.1145/876638.876643 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。