Automatic pre- and postconditions for partial differential equations

2021 ◽  
pp. 104860
Author(s):  
Michele Boreale
Sign in / Sign up

Export Citation Format

Share Document