Survey of annotation generators for deductive verifiers.
Saved in:
| Title: | Survey of annotation generators for deductive verifiers. |
|---|---|
| Authors: | Lathouwers, Sophie1 (AUTHOR) sophie.lathouwers@gmail.com, Huisman, Marieke1 (AUTHOR) m.huisman@utwente.nl |
| Source: | Journal of Systems & Software. May2024, Vol. 211, pN.PAG-N.PAG. 1p. |
| Database: | Business Source Ultimate |
| ISSN: | 01641212 |
|---|---|
| DOI: | 10.1016/j.jss.2024.111972 |
