Proving correctness of implementation techniques

  1. Lookup NU author(s)
  2. Professor Cliff Jones
Author(s)Jones CB, Lucas P
Publication type Report
Series Title
Year1970
DateAugust 1970
Report Number25.110
Pages
Full text is not currently available for this publication.
InstitutionIBM Laboratory
Place PublishedVienna
ActionsLink to this publication