@inbook{ChenSongWu_2017,
    title = {Formal Reasoning on Infinite Data Values: An Ongoing Quest},
    isbn = {9783319568416},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-319-56841-6_6},
    doi = {10.1007/978-3-319-56841-6_6},
    booktitle = {Engineering Trustworthy Software Systems},
    publisher = {Springer International Publishing},
    author = {Chen, Taolue and Song, Fu and Wu, Zhilin},
    year = {2017},
    pages = {195--257},
    date-added = {2025-1-20 20:10:18 +0100}
}

@inbook{ChenSongWu_2017, title = {Formal Reasoning on Infinite Data Values: An Ongoing Quest}, isbn = {9783319568416}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-319-56841-6_6}, doi = {10.1007/978-3-319-56841-6_6}, booktitle = {Engineering Trustworthy Software Systems}, publisher = {Springer International Publishing}, author = {Chen, Taolue and Song, Fu and Wu, Zhilin}, year = {2017}, pages = {195--257}, date-added = {2025-1-20 20:10:18 +0100} }