Search Results - Computer software termination*

  • Showing 1 - 2 results of 2
Refine Results
  1. Cover Image

    Proving Program Termination. by COOK, BYRON, PODELSKI, ANDREAS, RYBALCHENKO, ANDREY

    Published in Communications of the ACM (May2011)

    View this record in EBSCOhost
    Article
  2. Cover Image

    Solving the Unsolvable. by Vardi, Moshe Y.

    Published in Communications of the ACM (Jul2011)

    View this record in EBSCOhost
    Article

Search Tools: