Search
Search Funnelback University
- Refined by:
- Date: Past 3 months
1 -
3 of
3
search results for `Caroline Watson`
Fully-matching results
-
Peter Sewell: group bibliography by date
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2.html23 May 2024: Terpstra, Matt Thomas, Tommy Thorn, Caroline Trippel, Ray VanDeWalker, Muralidaran Vijayaraghavan, Megan Wachs, Andrew Waterman, Robert Watson, Derek Williams, Andrew Wright, Reinoud Zandijk, and Sizhuo Zhang. ... Brooks Davis, Robert N. M. Watson, -
sewellandgroupbib2
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_abstracts.html23 May 2024: Richard Grisenthwaite, Graeme Barnes, Robert N. M. Watson, SimonĀ W. Moore, Peter Sewell, and Jonathan Woodruff. ... M. Watson. Blog post,, July 2022. [. Islaris: Verification of Machine Code Against Authoritative ISA Semantics. -
sewellandgroupbib2.bib
https://www.cl.cam.ac.uk/~pes20/papers/sewellandgroupbib2_bib.html23 May 2024: sewellandgroupbib2.bib.. @article{physics4, author = {M. E. Woods and B. J. Hopkins and G. F. Matthews and G. M. McCracken and P. M. Sewell and H. Fahrang}, title = {An Investigation of the Secondary-Electron Emission of Carbon Samples Exposed to a
Refine your results
clear all
Date
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.