Recent Trends in Algebraic Development Techniques
Abstract
Book Front Matter of LNCS 7841
Domains
| Origin | Files produced by the author(s) |
|---|---|
| licence |
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
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
413
View
494
Download