String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.