Recent Trends in Algebraic Development Techniques
Abstract
Book Front Matter of LNCS 7841
Domains
| Origin | Files produced by the author(s) |
|---|
Books
Year : 2013
Connect in order to contact the contributor
https://inria.hal.science/hal-01485894
Submitted on : Thursday, March 9, 2017-2:53:53 PM
Last modification on : Monday, April 14, 2025-2:24:03 PM
Dates and versions
Licence
Identifiers
- HAL Id : hal-01485894 , version 1
- DOI : 10.1007/978-3-642-37635-1
Cite
Narciso Martí-Oliet, Miguel Palomino. Recent Trends in Algebraic Development Techniques. Springer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩. ⟨hal-01485894⟩
Collections
293
View
477
Download