Value Equality Analysis in C Program API Conformance Validation

Autor:	Ye-Ping He, Ce Meng, Yu-Xiang Luo
Rok vydání:	2008
Předmět:	Computer science Programming language computer.software_genre Value (mathematics) computer Software
Zdroj:	Journal of Software. 19:2550-2561
ISSN:	1000-9825
DOI:	10.3724/sp.j.1001.2008.02550
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0123ac313840eef6b65cc740cd38aa25 https://doi.org/10.3724/sp.j.1001.2008.02550 Zobrazit plný text záznamu