Mind the Gap - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simon Winwood, Gerwin Klein, Thomas Sewell, June Andronick, David Cock, Michael Norrish. Mind the Gap. In Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel, editors, Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Volume 5674 of Lecture Notes in Computer Science, pages 500-515, Springer, 2009. [doi]

This author has not been identified. Look up 'Simon Winwood' in GoogleThis author has not been identified. Look up 'Gerwin Klein' in GoogleThis author has not been identified. Look up 'Thomas Sewell' in GoogleThis author has not been identified. Look up 'June Andronick' in GoogleThis author has not been identified. Look up 'David Cock' in GoogleThis author has not been identified. Look up 'Michael Norrish' in Google

runs on WebDSL