Dr Michael Tautschnig, Queen Mary, University of London Alglave J, Kroening D, Tautschnig M (2013) . Partial Orders for Efficient BMC of Concurrent Software….
Image courtesy of interviewee. November 28, 2016
Enter a topic to uncover concise definitions on topics that matter to you.