A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software
Conference proceeding (November 2021)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Conference proceeding (November 2021)
Article in Software Practice and Experience (September 2018)
Book chapter (July 2017)