Repository | Directory | Profile
Liliana Ibanescu
Non-intrusive formal methods and strategic rewriting for a chemical application
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Central and East European
Society for Phenomenology