Quantitative analysis for symbolic heap bounds of CPS software

Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei. Quantitative analysis for symbolic heap bounds of CPS software. Comput. Sci. Inf. Syst., 8(4):1251-1276, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.