Formal methods for systems of partial differential equations

Robertz, D.

(2018)
Journal Article

In: Les cours du CIRM
Volume: 6
Issue: 1
Page(s)/Article-Nr.: 1-37