Enhancing Sructured Review with Model-Based Verification

Traoré, Issa; Aredo, Demissie

November 01, 2004

DART

• ISBN:
• Author(s): Traoré, Issa; Aredo, Demissie
• Title: Enhancing Sructured Review with Model-Based Verification
• Volume/number: 30 (11)
• Name and number of project:
• Journal: IEEE Transactions on Software Engineering
• Page(s): 736-753
• Conference:
• Refereed: 1
• Publisher: IEEE
• Published date: November 01, 2004
• Book title:
• Editor: