The Typelab Specification and Verification Environment

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