Bent Dandanell

Experience from Applications of RAISE

Eld Zierau, Jan Storbank Pedersen, Bent Dandanell, 1993, FME.

Rigorous development using RAISE

Bent Dandanell, 1991 .

Using RAISE - First Impressions from the LaCoS Applications

Eld Zierau, Jan Storbank Pedersen, Bent Dandanell, 1991, VDM Europe.

Rigorous development using RAISE

Bent Dandanell, Bent Dandanell, 1991, SIGSOFT '91.