Biblio Export 1 results: RTF EndNote XML Filters: Автор is George Cande [Clear All Filters]2011Bucur, Stefan, Cristian Zamfir, George Cande, and Vlad Ureche. Parallel Symbolic Execution for Automated Real-World Software Testing In 6th ACM SIGOPS/EuroSys Conference on Computer Systems., 2011.Google Scholar RTF EndNote XML
