An approach to verifying complex procedures

TitleAn approach to verifying complex procedures
Publication TypeConference Proceedings
Year of Conference2005
AuthorsHinchey, M. J. L. R., C. Rouff, and D. Gracanin
Conference NameProceedings of the Workshop on Controlling Complexity, 2005 IEEE Computational Systems Bioinfor- matics Conference
Date PublishedAugust
Conference LocationStanford, CA