Formal Methods for Computational Systems Biology

Marco Bernardo (المحرر) , Pierpaolo Degano (المحرر) , Gianluigi Zavattaro (المحرر)