Søren Prehn

Publication Activity (10 Years)

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

Publications

Dines Bjørner, Søren Prehn
Formal Methods in Software Development: Requirements for a CASE. Software Development Environments and CASE Technology (1991)
Søren Prehn
From VDM to RAISE. VDM Europe (1987)