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. Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. In: SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures, 28 Mar - 02 Apr 2016, Chongqing, China. ISBN 9783319568409. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-56841-6_6)

Official URL: https://doi.org/10.1007/978-3-319-56841-6_6

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)

View Item

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

410Hits

Additional statistics are available via IRStats2.

CORE (COnnecting REpositories)