Journal article
Pinnacles of Sofware Engineering: 25 Years of Formal Methods
Language: | English |
---|---|
Year: | 2000 |
Pages: | 11-66 |
ISSN: | 15737489 and 10227091 |
Types: | Journal article |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Journal article
Language: | English |
---|---|
Year: | 2000 |
Pages: | 11-66 |
ISSN: | 15737489 and 10227091 |
Types: | Journal article |
Analysis