Validating Personal Requirements by Assisted Symbolic Behavior Browsing

@inproceedings{Hall-Zisman:ASE04,
  author    = {Robert J. Hall and
               Andrea Zisman},
  title     = {Validating Personal Requirements by Assisted Symbolic Behavior Browsing },
  booktitle = {ASE},
  pages     = {56--66},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}