LLVMVF: A Generic Approach for Verification of Multicore Software Journal Article uri icon

Overview

publication date

  • October 1, 2013

Date in CU Experts

  • February 13, 2025 1:34 AM

Full Author List

  • Sousa M; Sen A

author count

  • 2

citation count

  • 1

Other Profiles

International Standard Serial Number (ISSN)

  • 0923-8174

Electronic International Standard Serial Number (EISSN)

  • 1573-0727

Additional Document Info

start page

  • 635

end page

  • 646

volume

  • 29

issue

  • 5