The Typelab Specification and Verification Environment

Published in the Procceedings of AMAST'96, LNCS 1101, Springer-Verlag 1996.

Authors

F.W. von Henke, M. Luther, H. Pfeifer, H. Rueß, D. Schwier, M. Strecker, M. Wagner

Abstract

Our contribution to AMAST'96 (Algebraic Methodology And Software Technology) is a system demo proposal containing a brief description of the Typelab system.

gzipped postscript or postscript

BibTeX Entry


InProceedings{vonHenke:96a,
  author =  {F.W. von Henke and M. Luther and H. Pfeifer and H. Rue{\ss}
             and D. Schwier and M. Strecker and M. Wagner},
  title =    {The {\sc Typelab} Specification and Verification Environment},
  booktitle =  {Proceedings of AMAST'96},
  editor =       {M. Wirsing, M. Nivat},
  year =         1996,
  publisher =    {Springer-Verlag},
  series =       {Lecture Notes in Computer Science},
  number =     1101,
  pages =   {604--607}
}
Harald Ruess: ruess@csl.sri.com