dblp.uni-trier.de www.uni-trier.de

1. FORTE 1988: Stirling Scotland, UK

Kenneth J. Turner (Ed.): Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. North-Holland 1989, ISBN 0-444-87126-8 BibTeX
@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}
}

Software Tools - Papers

Software Tools - Demonstrations

Object-Oriented Design with FDTs

Language Issues arising from Practical Use

Theoretical Aspects of Analysis

Experience in writing Formal Descriptions

Practical Aspects of Analysis

Copyright © Sat May 16 23:12:34 2009 by Michael Ley (ley@uni-trier.de)