References
Oana Andrei
Non-intrusive formal methods and strategic rewriting for a chemical application
2006
with Ibanescu Liliana, Kirchner Hélène
in: Algebra, meaning, and computation, Dordrecht : Springer
2006
with Ibanescu Liliana, Kirchner Hélène
in: Algebra, meaning, and computation, Dordrecht : Springer