Title: Formal Methods in Macro-Biology
Subjects: Bioinformatics, Medical informatics, Computer science, Medical records, Data processing, Logic design, Computational Biology/Bioinformatics, Logics and Meanings of Programs, Mathematical Logic and Formal Languages