Sciweavers

KBSE
2010
IEEE

SpecDiff: debugging formal specifications

13 years 10 months ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where KBSE
Authors Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin Song Dong
Comments (0)