An approach to verifying complex procedures
| Title | An approach to verifying complex procedures |
| Publication Type | Conference Proceedings |
| Year of Conference | 2005 |
| Authors | Hinchey, M. J. L. R., C. Rouff, and D. Gracanin |
| Conference Name | Proceedings of the Workshop on Controlling Complexity, 2005 IEEE Computational Systems Bioinfor- matics Conference |
| Date Published | August |
| Conference Location | Stanford, CA |