%0 Journal Article
%A Robertz, Daniel
%T Formal methods for systems of partial differential equations
%B Journées Nationales de Calcul Formel. 22 – 26 Janvier 2018
%A Collectif
%S Les cours du CIRM
%Z talk:3
%D 2018
%P 1-37
%N 1
%I CIRM
%U http://www.numdam.org/articles/10.5802/ccirm.28/
%R 10.5802/ccirm.28
%G en
%F CCIRM_2018__6_1_A3_0