NITPACK: An Interactive Tree Package

Publisher Website

1 December 1983

journal article
Published by Association for Computing Machinery (ACM) in ACM Transactions on Mathematical Software

Vol. 9 (4) , 395-417
https://doi.org/10.1145/356056.356058

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

Algorithm 606: NITPACK: An Interactive Tree Package
ACM Transactions on Mathematical Software, 1983
The pfort verifier
Software: Practice and Experience, 1974