Search results for: Angela Wallenburg
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Program Testing and Analysis > 30-41
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Methodology > 192-208
Lecture Notes in Computer Science > Verification of Object-Oriented Software. The KeY Approach > Part III: Using the KeY System > 453-479
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 6 > 695-707