Export 1 results:
Sort by: Filters: Author is J. L. R. Mike Hinchey [Clear All Filters]
"An approach to verifying complex procedures",
Proceedings of the Workshop on Controlling Complexity, 2005 IEEE Computational Systems Bioinfor- matics Conference, Stanford, CA, August, 2005.