Jeremy Morse

Sir Christopher Jeremy Morse KCMG (10 December 1928 – 4 February 2016) was an English banker, cruciverbalist and chess composer who was Chancellor of the University of Bristol from 1989 to 2003, and was chairman of Lloyds Bank. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Morse, Jeremy', query time: 0.04s Refine Results
  1. 1
    Expressive and efficient bounded model checking of concurrent software
    by Morse, Jeremy
    Published 2015
    Get full text
  2. 2
    Model checking LTL properties over C programs with bounded traces
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search