Formal reasoning on infinite data values: an ongoing quest

Conference paper


Chen, T., Song, F. and Wu, Z. 2017. Formal reasoning on infinite data values: an ongoing quest. SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures. Chongqing, China 28 Mar - 02 Apr 2016 Springer. pp. 195-257 https://doi.org/10.1007/978-3-319-56841-6_6
TypeConference paper
TitleFormal reasoning on infinite data values: an ongoing quest
AuthorsChen, T., Song, F. and Wu, Z.
Research GroupFoundations of Computing group
LanguageEnglish
ConferenceSETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures
Page range195-257
ISSN0302-9743
ISBN
Hardcover9783319568409
PublisherSpringer
Publication dates
Online06 Apr 2017
Publication process dates
Deposited15 Jun 2017
Accepted01 Mar 2016
Output statusPublished
Digital Object Identifier (DOI)https://doi.org/10.1007/978-3-319-56841-6_6
Book titleEngineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Permalink -

https://repository.mdx.ac.uk/item/87057

  • 15
    total views
  • 0
    total downloads
  • 2
    views this month
  • 0
    downloads this month

Export as