12 citations · 33 across the 14 of their papers we have counts for
1 paper · 1 filter
Sebastian Stock, Atif Mashkoor, Alexander Egyed
Formal methods play a fundamental role in asserting the correctness of requirements specifications. However, historically, formal method experts have primarily focused on verifying…