The TYPELAB Specification and Verification Environment (1996)
by
F. W. Von Henke
,
M. Luther
,
H. Pfeifer
,
H. Rueß
,
D. Schwier
,
M. Strecker
,
M. Wagner
| Venue: | In Proceedings of AMAST'96 |
| Citations: | 2 - 2 self |
Document Versions
| The TYPELAB Specification and Verification Environment –F. W. Von Henke, M. Luther, H. Pfeifer, H. Rueß, D. Schwier, M. Strecker, M. Wagner — 1996 — In Proceedings of AMAST'96 |
