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
1996



 
 Abstract

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

@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 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