Skip to Main content Skip to Navigation
Books

Recent Trends in Algebraic Development Techniques: 21st International Workshop,WADT 2012, Salamanca, Spain, June 7-10, 2012

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

https://hal.inria.fr/hal-01485894
Contributor : Hal Ifip <>
Submitted on : Thursday, March 9, 2017 - 2:53:53 PM
Last modification on : Friday, January 19, 2018 - 3:06:37 PM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Narciso Martí-Oliet, Miguel Palomino. Recent Trends in Algebraic Development Techniques: 21st International Workshop,WADT 2012, Salamanca, Spain, June 7-10, 2012. Springer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩. ⟨hal-01485894⟩

Share

Metrics

Record views

318

Files downloads

245