Recent Trends in Algebraic Development Techniques
Abstract
Book Front Matter of LNCS 7841
Domains
Computer Science [cs]Origin | Files produced by the author(s) |
---|
Origin | Files produced by the author(s) |
---|
Hal Ifip : 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 : Tuesday, October 19, 2021-3:44:46 PM