Search

Search Funnelback University

Search powered by Funnelback
1 - 1 of 1 search results for `Watson and Peter Sewell` |u:www.cst.cam.ac.uk
  1. Fully-matching results

  2. Hall of Fame news 1 News from the Department ...

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/theringjan2020.pdf
    15 Jan 2020: Team Treeniceratops, consisting of Maja Trela, Kacper Walentynowicz and David Wärn, finished second. ... M. Watson, Simon Moore, and Peter Sewell at the University of Cambridge Department of Computer Science and Technology, and by Peter G.

Refine your results

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.