research
∙
04/25/2023
Resource Specifications for Resource-Manipulating Programs
Specifications for modular program verifiers are expressed as constraint...
research
∙
02/11/2022