DBLP Record 'conf/forte/MastersonIH88'

BibTeX

@inproceedings{DBLP:conf/forte/MastersonIH88,
  author    = {J. J. Masterson and
               K. P. Ishaq and
               A. T. Hockley},
  title     = {An Approach to providing Support Tools for Formal Specification},
  booktitle = {FORTE},
  year      = {1988},
  pages     = {1-14},
  crossref  = {DBLP:conf/forte/1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1988,
  editor    = {Kenneth J. Turner},
  title     = {Formal Description Techniques, Proceedings of the First
               International Conference on Formal Description Techniques,
               Stirling, Scotland, UK, 6-9 September, 1988},
  booktitle = {FORTE},
  publisher = {North-Holland},
  year      = {1989},
  isbn      = {0-444-87126-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}