Recent Trends in Algebraic Development Techniques
Abstract
Book Front Matter of LNCS 11563
HAL-Inria | Publications, software ... of Inria's scientists |
Hal Ifip : Connect in order to contact the contributor
https://hal.inria.fr/hal-02364573
Submitted on : Friday, November 15, 2019-9:03:12 AM
Last modification on : Friday, November 15, 2019-9:05:04 AM