Axiomatic Methods in Non-classical Model Theory
​​Component-based Formal Verification