Results from other life science and pharmaceutical sites:
Magic
Welcome to the homepage of the MAGIC project. The aim of this project is to develop tools and techniques for analyzing and reasoning about software ... http://www.cs.cmu.edu/~chaki/magic/...