SpecDiff: debugging formal specifications

@inproceedings{Xing-al:ASE10,
  author    = {Zhenchang Xing and
               Jun Sun and
               Yang Liu and
               Jin Song Dong},
  title     = {{SpecDiff:} debugging formal specifications},
  booktitle = {ASE},
  pages     = {353--354},
  publisher = {{ACM}},
  year      = {2010},
}