Toward Verified Biological Models.

Published in: IEEE ACM Trans. Comput. Biol. Bioinform. (2008)