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]
@article{SalamahGRE11,
title = {Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications},
author = {Salamah Salamah and Ann Q. Gates and Steve Roach and Matthew Engskow},
year = {2011},
doi = {10.1155/2011/869182},
url = {http://dx.doi.org/10.1155/2011/869182},
researchr = {https://researchr.org/publication/SalamahGRE11},
cites = {0},
citedby = {0},
journal = {Adv. Software Engineering},
volume = {2011},
}