Resources

Modular Compiler Verification

Author : Müller-Olm 

Springer

Access online

Modular Ontologies

Author : Stuckenschmidt 

Springer

Access online

Modular Programming Languages

Author : Böszörményi 

Springer

Access online