Annals of Sofware Engineering - DTU Orbit

Annals of Sofware Engineering

ISSNs: 1022-7091

Local database

Journal

View graph of relations

Publications

(1)

Published
Pinnacles of Sofware Engineering: 25 Years of Formal Methods
Publication: Research - peer-review › Journal article – Annual report year: 2000

ID: 2701191