137 search results - page 28 / 28 » Distributed Cooperative Formal Methods Tools |
BMCBI
2010
13 years 5 months ago
2010
Background: Many protein structures determined in high-throughput structural genomics centers, despite their significant novelty and importance, are available only as PDB depositi...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...