%0 Book
%A  Armand Puccetti (ed.). With contrib. by D. Brocard ...
%T The programming and proof system ATES advanced techniques integration into efficient scientific software
%U /book/90086450/The-programming-and-proof-system-ATES-advanced-tec/