Partial Orders for Efficient BMC of Concurrent Software

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

Copyright © Faculti Media Limited 2013 - 2024. All rights reserved.