The Typelab Specification and Verification Environment

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

Appeared in the Procceedings of AMAST'96
Springer LNCS 1101


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

Available as Postscript (4 pages, ca 66 KB)
 BibTeX Entry

  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 AMAST'96},
  editor =       {M. Wirsing, M. Nivat},
  year =         1996,
  publisher =    {Springer LNCS 1101},
  pages =        {604--607}

Last modified: Sat Nov 11 20:38:08 CET 2006