41 citations · 42 across the 2 of their papers we have counts for
1 paper · 2 filters
Mihai Herda, Michael Kirsten, Etienne Brunner +6
Software verification is a tedious process that involves the analysis of multiple failed verification attempts, and adjustments of the program or specification. This is especially…