150035

References

Hélène Kirchner

Non-intrusive formal methods and strategic rewriting for a chemical application

2006

with Andrei Oana, Ibanescu Liliana

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link