Daniele Coati

A SystemC-based platform for assertion-based verification and mutation analysis in systems biology

Carlo Laudanna, Franco Fummi, Rosalba Giugno, 2016, 2016 17th Latin-American Test Symposium (LATS).