埃因霍温星期二下午俱乐部 构造伽罗瓦伴随。 （英语） Zbl 0998.93509号 信息处理。莱特。 53，第3期，137-139（1995）. 引用于1文件 MSC公司： 93B35型 灵敏度（稳健性） 2015年1月6日 伽罗瓦对应、闭包算子（与有序集有关） 关键词：程序推导；验证设计；等式推理；人为因素 PDF格式BibTeX公司 XML格式引用 \textit{埃因霍温星期二下午俱乐部}，Inf.流程。莱特。53，第3号，137--139（1995；Zbl 0998.93509） 全文： 内政部