Mo Li, Shaoying Liu. Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems. IEEE Transactions on Reliability, 65(1):88-106, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.