Recent Trends in Algebraic Development Techniques
Abstract
Book Front Matter of LNCS 11563
Books
Year : 2019
Hal Ifip : Connect in order to contact the contributor
https://hal.inria.fr/hal-02364573
Submitted on : Friday, November 15, 2019-9:03:12 AM
Last modification on : Friday, November 15, 2019-9:05:04 AM
Dates and versions
Licence
Identifiers
- HAL Id : hal-02364573 , version 1
- DOI : 10.1007/978-3-030-23220-7
Cite
José Fiadeiro, Ionuț Țuțu. Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers. Springer International Publishing, LNCS-11563, 2019, Lecture Notes in Computer Science, 978-3-030-23219-1. ⟨10.1007/978-3-030-23220-7⟩. ⟨hal-02364573⟩
Collections
15
View
80
Download