BIROn - Birkbeck Institutional Research Online

    Formal Reasoning on Infinite Data Values: An Ongoing Quest

    Chen, Taolue and Song, Fu and Wu, Zhilin (2017) Formal Reasoning on Infinite Data Values: An Ongoing Quest. In: Bowen, J.P. and Liu, Z. and Zhang, Z. (eds.) Engineering Trustworthy Software Systems - Second International School, {SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215. Springer, pp. 195-257. ISBN 9783319568409.

    Full text not available from this repository.

    Metadata

    Item Type: Book Section
    Additional Information: Series ISSN: 0302-9743
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Dr Taolue Chen
    Date Deposited: 27 Sep 2017 11:20
    Last Modified: 27 Sep 2017 11:20
    URI: http://eprints.bbk.ac.uk/id/eprint/19661

    Statistics

    Downloads
    Activity Overview
    0Downloads
    194Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item