Upload Records Snowball Search Search OpenAlex
About the database ScholarIQanswers from OpenAlex
Assertion guided symbolic execution of multithreaded programs
PaperCitations, authors & open-access status
Assertion guided symbolic execution of multithreaded programs is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 62 citations, 2015 year and closed oa status.
62
Citations
2015
Year
closed
OA Status