Showing 1 - 1 results of 1 for search 'Mariya S. Ushakov', query time: 0.02s Refine Results
  1. 1
    Verification of Programs with Mutual Recursion in the Pifagor Language

    Verification of Programs with Mutual Recursion in the Pifagor Language by Mariya S. Ushakov, Alexander I. Legalov

    Published 2018-08-01
    Get full text
    Article

Search Tools: