A Novel Approach to Standardize Verification Configurations using YAML Author(s): Nikhil Tambekar Location: Europe Year: 2023 Type: Paper Format: pdf Download