Skip to content
Vinony

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
Daniel Kroening — author · Vinony