Mishra, B. (March 2009) Technical perspective: Where biology meets computing. Communications of the ACM, 52 (3). p. 96.
| Item Type: | Paper |
|---|---|
| Uncontrolled Keywords: | Software Software Engineering Design Tools and Techniques Requirements/Specifications Software/Program Verification Theory of computation Logics and meanings of programs Specifying and Verifying and Reasoning about Programs |
| Subjects: | bioinformatics > quantitative biology bioinformatics > genomics and proteomics > computers > computer software |
| CSHL Authors: | |
| Communities: | CSHL labs > Wigler lab |
| Depositing User: | Matt Covey |
| Date: | March 2009 |
| Date Deposited: | 15 Feb 2013 20:19 |
| Last Modified: | 15 Feb 2013 20:19 |
| URI: | https://repository.cshl.edu/id/eprint/27469 |
Actions (login required)
 |
Administrator's edit/view item |