Autor:	Wan-Xia Qu
Rok vydání:	2008
Předmět:	Predicate abstraction Computer science Programming language computer.software_genre computer Software
Zdroj:	Journal of Software. 19:27-38
ISSN:	1000-9825
DOI:	10.3724/sp.j.1001.2008.00027
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e1c9c058569960cf3de91614a6312e72 https://doi.org/10.3724/sp.j.1001.2008.00027 Zobrazit plný text záznamu