Mark Greenstreet

Mark Greenstreet (born 19 April 1960) is a British actor, writer and director. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Mark Greenstreet', query time: 0.02s Refine Results
  1. 1
    Extending ACL2 with SMT Solvers

    Extending ACL2 with SMT Solvers by Yan Peng, Mark Greenstreet

    Published 2015-09-01
    Get full text
    Article

Search Tools: