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

Oana Andrei, Liliana Ibanescu, Hélène Kirchner

pp. 194-215


This document is unfortunately not available for download at the moment.

Not implemented yet !