ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Browse by Person

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 1.

Солахян, С. А. (1976) Аксиоматический подход к доказательству корректности программ. ՀՍՍՀ ԳԱ Զեկույցներ, 63 (4). pp. 199-204.

This list was generated on Fri Apr 28 02:33:38 2017 AMT.