Recent Trends in Algebraic Development Techniques
Abstract
Book Front Matter of LNCS 10644
Hal Ifip : Connect in order to contact the contributor
https://inria.hal.science/hal-01767477
Submitted on : Monday, April 16, 2018-11:35:12 AM
Last modification on : Wednesday, June 9, 2021-3:26:02 PM