Puccetti, Armand, ed. profile picture

Puccetti, Armand, ed.

Is this your author profile? Create an account to claim and customize it!

Stand Alone

The Programming and Proof Systems Ates: Advanced Techniques Integration into Efficient Scientific Software (Research Reports Espirit, Project 1158,)