
Hélène Kirchner
(2000-2009)
XNon-intrusive formal methods and strategic rewriting for a chemical application
2006
in: Algebra, meaning, and computation, Dordrecht : Springer

(2000-2009)
XNon-intrusive formal methods and strategic rewriting for a chemical application
2006
in: Algebra, meaning, and computation, Dordrecht : Springer