Behavioral consistency checking between requirements and implementations
Crossref DOI link: https://doi.org/10.1007/s11859-014-1042-0
Published Online: 2014-11-12
Published Print: 2014-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Xu, Yong
Ling, Xiang
Wu, Guoqing
Huang, Bo
Text and Data Mining valid from 2014-11-12