Artifact Details Title Techniques for program verification Catalog Number 102660618 Type Document Date 1981-06 Author Nelson, Greg Publisher Xerox PARC (Palo Alto Research Center) Category Technical Report Collection Title Company Collection Lot Number X3067.2005