PICO Portalanswers 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 PICO Portal from OpenAlex.
How many citations does Assertion guided symbolic execution of multithreaded programs have?
PICO Portalcitation count
Assertion guided symbolic execution of multithreaded programs has 62 citations in the OpenAlex counts PICO Portal stores.
When was Assertion guided symbolic execution of multithreaded programs published?
PICO Portalyear
Assertion guided symbolic execution of multithreaded programs has 2015 year in the PICO Portal index.
What is the open-access status of Assertion guided symbolic execution of multithreaded programs?
PICO Portaloa status
Assertion guided symbolic execution of multithreaded programs has closed oa status in the PICO Portal index.
What is the DOI of Assertion guided symbolic execution of multithreaded programs?
PICO Portaldoi
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?
PICO Portalopenalex
The OpenAlex for Assertion guided symbolic execution of multithreaded programs is on the source record.