Formal Methods for the Analysis of Biomedical Ontologies - Guo-Qiang Zhang - Inbunden | Bokus