Jesper Gørtz

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Jesper Gørtz
Specifying Safety and Progress Properties with RSL. FME (1994)
Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau
Experience from Applications of RAISE. FME (1993)
D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau
Using RAISE - First Impressions from the LaCoS Applications. VDM Europe (1) (1991)