"Technical Perspective: Beautiful Symbolic Abstractions for Safe and Secure ..."

Martin T. Vechev (2023)
[–] 

Details and statistics

DOI: 10.1145/3576893

access: closed

type: Journal Article

metadata version: 2025-01-19