Automatic formal derivation of the oscillation condition Nicolas Ratier, Laurent Couteleau, Rémi Brendel, Philippe Guillemot
7
0
0
Texto
Documentos relacionados