Chen, Taolue and Song, Fu and Wu, Zhilin (2017) Formal Reasoning on Infinite Data Values: An Ongoing Quest. In: Bowen, J.P. and Liu, Z. and Zhang, Z. (eds.) Engineering Trustworthy Software Systems - Second International School, {SETSS} 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215. Springer, pp. 195-257. ISBN 9783319568409.
Full text not available from this repository.
Official URL: https://doi.org/10.1007/978-3-319-56841-6
Metadata
| Item Type: | Book Section |
|---|---|
| Additional Information: | Series ISSN: 0302-9743 |
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Taolue Chen |
| Date Deposited: | 27 Sep 2017 11:20 |
| Last Modified: | 09 Aug 2023 12:42 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/19661 |
Statistics
6 month trend
6 month trend
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
Edit/View Item
