20 Years of Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Research output: Contribution to journalJournal articleResearchpeer-review

607 Downloads (Pure)

Fingerprint

Dive into the research topics of '20 Years of Modal and Mixed Specifications'. Together they form a unique fingerprint.

Computer Science

Mathematics

Keyphrases