Artikler med mandater om offentlig tilgang - Debasmita LoharLes mer
Tilgjengelige et eller annet sted: 2
Sound Probabilistic Numerical Error Analysis
D Lohar, M Prokop, E Darulova
Integrated Formal Methods LNCS 11918, 322-340, 2019
Mandater: German Research Foundation
A two-phase approach for conditional floating-point verification
D Lohar, C Jeangoudoux, J Sobel, E Darulova, M Christakis
International Conference on Tools and Algorithms for the Construction and …, 2021
Mandater: German Research Foundation
Informasjon om publisering og finansiering fastsettes automatisk av et datamaskinprogram