Issa Traoré, Demissie B. Aredo. Enhancing Structured Review with Model-Based Verification. IEEE Trans. Software Eng., 30(11):736-753, 2004. [doi]
@article{TraoreA04,
title = {Enhancing Structured Review with Model-Based Verification},
author = {Issa Traoré and Demissie B. Aredo},
year = {2004},
url = {http://csdl.computer.org/comp/trans/ts/2004/11/e0736abs.htm},
tags = {rule-based, reviewing},
researchr = {https://researchr.org/publication/TraoreA04},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {30},
number = {11},
pages = {736-753},
}