Robin A. Gandhi, Harvey P. Siy, Yan Wu. Lightweight formal models of software weaknesses. In 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013. pages 50-56, IEEE Computer Society, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.