verification of programs that destructively manipulate data

35

Upload: edinburgh

Post on 03-Dec-2023

0 views

Category:

Documents


0 download

TRANSCRIPT