Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow. Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Software Engineering, 2011, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.