Experiences from applications of RAISE

Lecture Notes in Computer Science - FME '93: Industrial-Strength Formal Methods ◽

10.1007/bfb0024637 ◽

1993 ◽

pp. 52-63 ◽

Cited By ~ 1

Author(s):

Bent Dandanell ◽

Jesper Gørtz ◽

Jan Storbank Pedersen ◽

Eld Zierau

Download Full-text