Oana Andrei
articles X
1 Publications
Non-intrusive formal methods and strategic rewriting for a chemical application
2006
in: Algebra, meaning, and computation, Berlin,
1 Publications
1 Publications
in: Algebra, meaning, and computation, Berlin,
1 Publications