Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/04/01
Vol. E95-D
No. 4
pp. 989-1002
Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category:
Keyword:
workflow,
verification,
correctness,
passback,
incremental verification,
|
