40 years of formal methods

Dines Bjørner, Klaus Havelund

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Fingerprint

Dive into the research topics of '40 years of formal methods'. Together they form a unique fingerprint.

Earth and Planetary Sciences

Computer Science

Economics, Econometrics and Finance

Mathematics

Keyphrases