Chianti

swMATH23091MaRDI QIDQ34875FDOQ34875

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/abstract/document/1553643/

Cited In (4)

• FAMIX
• An alternative characterization of weak order dependence
• UMLDiff
• Verification of software product lines with delta-oriented slicing

This page was built for software: Chianti