Daniel Kroening

No biography available.

Works (5)

Cover of Decision Procedures

Decision Procedures

Cover of Computer Aided Verification

Computer Aided Verification

Cover of Validation of Evolving Software

Validation of Evolving Software

Cover of Verified Software : Theories, Tools and Experiments

Verified Software : Theories, Tools and Experiments

Cover of Digitaltechnik - eine praxisnahe Einfu hrung

Digitaltechnik - eine praxisnahe Einfu hrung