Pinnacles of Sofware Engineering: 25 Years of Formal Methods

Dines Bjørner, Wang Yi, Dilip Patel

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Annals of Software Engineering
Volume	10
Pages (from-to)	11-66
ISSN	1022-7091
Publication status	Published - 2000

Access to Document

@article{022326680ff14aef9e04d3121dd62960,

title = "Pinnacles of Sofware Engineering: 25 Years of Formal Methods",

author = "Dines Bj{\o}rner and Wang Yi and Dilip Patel",

year = "2000",

language = "English",

volume = "10",

pages = "11--66",

journal = "Annals of Software Engineering",

issn = "1022-7091",

publisher = "Kluwer Academic Publishers",

}