Top Authors in Software Verification

Discover the leading researchers and scholars who have made significant contributions to Software Verification. The statistics shown in this table are calculated from publications relevant to this concept and reflect each author's impact within this specific field of study, not their overall metrics.