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 |