Biosensor characterization: formal methods from the perspective of proteome fractions. - Vaccari, Nicolás A; Zevallos-Aliaga, Dahlin; Peeters, Tom; Guerra, Daniel G (Synthetic Biology (23977000), 2025)