Jesper Gørtz

According to our database, Jesper Gørtz authored at least 3 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Specifying Safety and Progress Properties with RSL.

Jesper Gørtz

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Experience from Applications of RAISE.

Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Using RAISE - First Impressions from the LaCoS Applications.

D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau

Proceedings of the VDM '91, 1991