Program correctness over abstract data types, with error-state semantics : J.V. Tucker and J.I. Zucker, CWI Monographs, Vol. 6, North-Holland, Amsterdam, 1988, 212 pages, Price: U.S. $ 58.00/Dfl. 110.00, ISBN 0-444-70340-3
作者：
Highlights：
•
摘要
论文关键词：
论文评审过程：Available online 1 April 2002.
论文官网地址：https://doi.org/10.1016/0377-0427(89)90312-9
