ePrints

Proving correctness of implementation techniques

Lookup NU author(s): Professor Cliff JonesORCiD

Downloads

Full text is not currently available for this publication.

Publication metadata

Author(s): Jones CB, Lucas P

Publication type: Report

Publication status: Published

Series Title:

Year: 1970

Print publication date: 01/08/1970

Source Publication Date: August 1970

Report Number: 25.110

Institution: IBM Laboratory

Place Published: Vienna

Share