Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bernhard Beckert
A Metric for Testing Program Verification Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Evolutionary Changes
Related publications
Algorithm Testing and Evaluation Program for Coordinate Measuring Systems:
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Runtime Checking for Program Verification
A Unified Approach of Program Verification
Acta Universitatis Sapientiae, Informatica
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
A Program Testing Assistant
Communications of the ACM
Computer Science
Rule Systems for Runtime Verification: A Short Tutorial
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Field Verification Program for Small Wind Turbines
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
