A Unit Proofing Framework for Code-level Verification: A Research Agenda

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Amusuo, Paschal C., Patil, Parth V., Cochell, Owen, Lievre, Taylor Le, Davis, James C.
Format:	Preprint
Published:	2024
Subjects:	Software Engineering D.2.4; F.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Similar Items