Why There is no General Solution to the Problem of Software Verification.

Autor:	Symons, John1 (AUTHOR) johnsymons@ku.edu, Horner, Jack K.1,2 (AUTHOR)
Zdroj:	Foundations of Science. Sep2020, Vol. 25 Issue 3, p541-557. 17p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.