Research index

CEGAR Based Null-Pointer Dereference Checking in C Programs

Zhao, Cong, Zhenhua

2016

NobleIDark:/48914/w1/20260516/1C7343BBDOI10.7544/issn1000-1239.2016.20150669

CEGAR Based Null-Pointer Dereference Checking in C Programs

Zhao, Cong, Zhenhua · 2016 · Subscription

NobleIDark:/48914/w1/20260516/1C7343BBDOI10.7544/issn1000-1239.2016.20150669

Paywalled

The full text is at the publisher

Open it at the publisher to read it.

Read at the publisher

Discussion

Citations

More

Suggest a correction or report