Tool-supported program abstraction for finite-state verification

Autor:	M.B. Dwyer, J. Hatcliff, R. Joehanes, S. Laubach, C.S. Pasreanu, R.H. Zheng, W. Visser
Rok vydání:	2005
Zdroj:	Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
DOI:	10.1109/icse.2001.919092
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0d64d24cd67899789e110ddd47e7926b https://doi.org/10.1109/icse.2001.919092 Zobrazit plný text záznamu