Certifying delta-oriented programs
Article in Software and Systems Modeling (December 2018)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Software and Systems Modeling (December 2018)
Conference proceeding (January 2018)
Article in Software and Systems Modeling (May 2016)