Annals of Sofware Engineering
ISSNs: 1022-7091
Local database
Journal
Publications
(1)- Published
Pinnacles of Sofware Engineering: 25 Years of Formal Methods
Publication: Research - peer-review › Journal article – Annual report year: 2000
ID: 2701191