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.
How many citations does Assertion guided symbolic execution of multithreaded programs have?
ScholarIQcitation count
Assertion guided symbolic execution of multithreaded programs has 62 citations in the OpenAlex counts ScholarIQ stores.
When was Assertion guided symbolic execution of multithreaded programs published?
ScholarIQyear
Assertion guided symbolic execution of multithreaded programs has 2015 year in the ScholarIQ index.
What is the open-access status of Assertion guided symbolic execution of multithreaded programs?
ScholarIQoa status
Assertion guided symbolic execution of multithreaded programs has closed oa status in the ScholarIQ index.
What is the DOI of Assertion guided symbolic execution of multithreaded programs?
ScholarIQdoi
The DOI for Assertion guided symbolic execution of multithreaded programs is on the source record.
What is the OpenAlex record for Assertion guided symbolic execution of multithreaded programs?
ScholarIQopenalex
The OpenAlex for Assertion guided symbolic execution of multithreaded programs is on the source record.