A Theorem Proving Approach for Automatically Synthesizing Visualizations of Flow Cytometry Data

BMC Bioinformatics - United Kingdom
doi 10.1186/s12859-017-1662-4