City Research Online

Items where Author is "Sun, Y."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Brain, M. ORCID: 0000-0003-4216-7151, Schanda, F. and 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 Tue Sep 22 05:15:30 2020 UTC.