@article{CCIRM_2018__6_1_A3_0,
    Author = {Robertz, Daniel},
    File = {Formal methods for systems of partial differential equations - jncf2018-robertz - a - a - a - n.pdf},
    Journal = {Les cours du CIRM},
    Language = {en},
    Note = {talk:3},
    Number = {1},
    Publisher = {CIRM},
    Title = {Formal methods for systems of partial differential equations},
    URL = {ccirm.centre-mersenne.org/item/CCIRM\_2018\_\_6\_1\_A3\_0/},
    Volume = {6},
    Year = {2018},
    bdsk-url-1 = {ccirm.centre-mersenne.org/item/CCIRM\_2018\_\_6\_1\_A3\_0/},
    bdsk-url-2 = {https://doi.org/10.5802/ccirm.28},
    date-added = {2020-04-08 11:12:15 +0200},
    date-modified = {2020-04-08 11:12:15 +0200},
    doi = {10.5802/ccirm.28}
}

@article{CCIRM_2018__6_1_A3_0, Author = {Robertz, Daniel}, File = {Formal methods for systems of partial differential equations - jncf2018-robertz - a - a - a - n.pdf}, Journal = {Les cours du CIRM}, Language = {en}, Note = {talk:3}, Number = {1}, Publisher = {CIRM}, Title = {Formal methods for systems of partial differential equations}, URL = {ccirm.centre-mersenne.org/item/CCIRM_2018__6_1_A3_0/}, Volume = {6}, Year = {2018}, bdsk-url-1 = {ccirm.centre-mersenne.org/item/CCIRM_2018__6_1_A3_0/}, bdsk-url-2 = {https://doi.org/10.5802/ccirm.28}, date-added = {2020-04-08 11:12:15 +0200}, date-modified = {2020-04-08 11:12:15 +0200}, doi = {10.5802/ccirm.28} }