Formal reasoning on infinite data values: an ongoing quest

Chen, Taolue, Song, Fu and Wu, Zhilin (2017) Formal reasoning on infinite data values: an ongoing quest. In: SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures, 28 Mar - 02 Apr 2016, Chongqing, China.

Full text is not in this repository.

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 22029
Depositing User: Taolue Chen
Date Deposited: 15 Jun 2017 16:29
Last Modified: 14 May 2018 14:24
URI: https://eprints.mdx.ac.uk/id/eprint/22029

Actions (login required)

Edit Item Edit Item