Muse TECHNOLOGIES
Home
ACADEMIC BIO
News
Projects
Contact
The book "Institution-independent Model Theory"
Axiomatic Methods in Non-classical Model Theory
Component-based Formal Verification
Formal Verification of Reconfigurable Systems
Home
ACADEMIC BIO
News
Projects
Contact
The book "Institution-independent Model Theory"