bernd finkbeiner

Lehrerausbildung in vernetzten Lernumgebungen

Die Kombination von fachlichen, fachdidaktischen und bildungswissenschaftlichen Studienelementen ...

Runtime Verification

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Ve...

Automated Technology for Verification and Analysis

This book constitutes the proceedings of the 13th International Symposium on Automated Technology...

Runtime Verification

Fields of Logic and Computation II

Fields of Logic and Computation II

Fields of Logic and Computation III

This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated conference...

Verification, Model Checking, and Abstract Interpretation

This book constitutes the proceedings of the 23rd International Conference on Verification, Model...

Lautes Denken, «Stimulated Recall» und Dokumentarische Methode

Methodische und methodologische empirische Grundlagen wurden über einen langen Zeitraum aus de...

Fields of Logic and Computation II

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made f...

Automated Technology for Verification and Analysis

This book constitutes the proceedings of the 13th International Symposium on Automated Technol...

Runtime Verification

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Ve...

Fields of Logic and Computation III

This Festschrift is published in honor of Yuri Gurevich's 80th birthday. An associated confere...