B
Bernd Finkbeiner
5 works on record
Works
Fields of Logic and Computation II
Runtime Verification
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Fields of Logic and Computation III
Fields of Logic and Computation III