Ferenc A. Bartha

Computer-aided proofs and algorithms in analysis

Ferenc A. Bartha, F. Bartha, 2013 .

Accurate rigorous simulation should be possible for good designs

Adam Duracz, Ferenc A. Bartha, Walid Taha, 2016, 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR).