DMCA

Author manuscript, published in "FACS 2013, Nanchang: China (2013)" Compatibility Checking for Asynchronously Communicating Software (2013)

by Meriem Ouederni , Gwen Salaün , Tevfik Bultan