Textmeddelande: The Programming and proof system ATES : advanced techniques integration into efficient scientific software / Armand Puccetti (ed.) ; with contributions by D. Brocard [and others].