REMARKS ON PROGRAM PROVING - JUMPS AND FUNCTIONS BY CLINT,M AND HOARE,CAR

被引：8

作者：

ASHCROFT, EA

CLINT, M

HOARE, CAR

机构：

[1] QUEENS UNIV BELFAST,DEPT COMP SCI,BELFAST BT7 1NN,NORTH IRELAND

[2] UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1007/BF00288660

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：317 / 318

页数：2