Change‐aware model checking for evolving concurrent programs based on Program Dependence Net
Article in Journal of Software (November 2023)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Journal of Software (November 2023)
Article in Security and Communication Networks (January 2014)