Panellist Position Statement: Some Industrial Experience with Program Verification

Autor:	Chapman, Roderick
Zdroj:	Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 2005 Oct . 363(1835), 2393-2394.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/30039734 Zobrazit plný text záznamu