OCLVerifer: Automated verification of OCL contracts in requirements models
Yang, Peiye, Zhang, Li, Li, Qin, Gao, Xiang, Yang, Yilong
Published in Science of computer programming (01.02.2025)
Published in Science of computer programming (01.02.2025)
Get full text
Journal Article