Skip to Main content Skip to Navigation
Books

Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Abstract : Book Front Matter of LNCS 11563
Document type :
Books
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/hal-02364573
Contributor : Hal Ifip <>
Submitted on : Friday, November 15, 2019 - 9:03:12 AM
Last modification on : Friday, November 15, 2019 - 9:05:04 AM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

67

Files downloads

130