View in EDS

Survey of annotation generators for deductive verifiers.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first