Update esbmc .yml descriptions
While the doi.org link doesn't work, yet, this is the Zenodo link: https://zenodo.org/records/10063865
We have removed esbmc-incr as it is no longer relevant.
While the doi.org link doesn't work, yet, this is the Zenodo link: https://zenodo.org/records/10063865
We have removed esbmc-incr as it is no longer relevant.