%0 Journal Article
%A Daniel Robertz
%T Formal methods for systems of partial differential equations
%J Les cours du CIRM
%Z talk:3
%D 2018
%V 6
%N 1
%I CIRM
%U https://ccirm.centre-mersenne.org/articles/10.5802/ccirm.28/
%R 10.5802/ccirm.28
%G en
%F CCIRM_2018__6_1_A3_0