Reiner Hahnle

2 books • 1 series

Oct 8, 2020
Cover of Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Jan 6, 1994
Cover of Automated Deduction in Multiple-Valued Logics

Automated Deduction in Multiple-Valued Logics (International Series of Monographs on Computer Science, #10)