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://inria.hal.science/hal-02364573
Submitted on : Friday, November 15, 2019-9:03:12 AM
Last modification on : Friday, August 4, 2023-8:40:06 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. 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
62
View
98
Download