Probabilistic model of software approximate correctness
Crossref DOI link: https://doi.org/10.1007/s11859-016-1137-x
Published Online: 2016-01-09
Published Print: 2016-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ma, Yanfang
Chen, Liang
Text and Data Mining valid from 2016-01-09