1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…