Conference
Formal System Development with KIV.
Authors
Balser M; Reif W; Schellhorn G; Stenzel K; Thums A
Editors
Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
1783
Pagination
pp. 363-366
Publisher
Springer
Publication Date
January 1, 2000
ISBN-10
3-540-67261-3
Conference proceedings
FASE