I. Traoré
-
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering