Skip to Main content Skip to Navigation
Books

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

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

https://hal.inria.fr/hal-01767477
Contributor : Hal Ifip <>
Submitted on : Monday, April 16, 2018 - 11:35:12 AM
Last modification on : Wednesday, June 9, 2021 - 3:26:02 PM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Phillip James, Markus Roggenbach. Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers. Springer International Publishing, LNCS-10644, 2017, Lecture Notes in Computer Science, 978-3-319-72043-2. ⟨10.1007/978-3-319-72044-9⟩. ⟨hal-01767477⟩

Share

Metrics

Record views

186

Files downloads

319