Аксиоматический подход к доказательству корректности программ - С. А. Солахян (ՀՍՍՀ ԳԱ հրատ․)
Keywords: Mathematics; Science