City, University of London Library

    City Research Online

    Items where Author is "Schanda, F."

    [up] Up a level
    Group by: Type | No Grouping
    Number of items: 1.

    Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. & Sun, Y. (2019). Building Better Bit-Blasting for Floating-Point Problems. Tools and Algorithms for the Construction and Analysis of Systems, 11427, pp. 79-98. doi: 10.1007/978-3-030-17462-0_5

    This list was generated on Mon Nov 3 10:43:10 2025 UTC.