Experience from Applications of RAISE

Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau. Experience from Applications of RAISE. In Jim Woodcock, Peter Gorm Larsen, editors, FME 93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings. Volume 670 of Lecture Notes in Computer Science, pages 52-63, Springer, 1993.

Authors

Bent Dandanell

This author has not been identified. Look up 'Bent Dandanell' in Google

Jesper Gørtz

This author has not been identified. Look up 'Jesper Gørtz' in Google

Jan Storbank Pedersen

This author has not been identified. Look up 'Jan Storbank Pedersen' in Google

Eld Zierau

This author has not been identified. Look up 'Eld Zierau' in Google