Verification System for Formal Requirements Description

@inproceedings{Agusa-al:ICSE82,
  author    = {Kiyoshi Agusa and
               Atsushi Ohnishi and
               Yutaka Ohno},
  title     = {Verification System for Formal Requirements Description},
  booktitle = {ICSE},
  pages     = {120--126},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
}