1. Home
    2. Journals
    3. Resonance – Journal of Science Education
    4. Volume 3
    5. Issue 4

    • Algorithms - Correctness of Programs

      R K Shyamasundar

      Series Article Volume 3 Issue 4 April 1998 pp 15-29

    • Fulltext

       

        Click here to view fulltext PDF


      Permanent link:
      https://www.ias.ac.in/article/fulltext/reso/003/04/0015-0029

    • Keywords

       

    • Author Affiliations

       

      R K Shyamasundar1

      1. Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai 400 005, India.

    • Dates

       
      Published
      April 1998

© 2021-2022 Indian Academy of Sciences, Bengaluru.

Contact | Site index