Consistency Verification of Specification Rules

@inproceedings{Hoang2015ConsistencyVO,
  title={Consistency Verification of Specification Rules},
  author={Thai Son Hoang and Shinji Itoh and Kyohei Oyama and Kunihiko Miyazaki and Hironobu Kuruma and Naoto Sato},
  booktitle={ICFEM},
  year={2015}
}