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