Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

"Automated Verification of Go Programs via Bounded Model Checking."

Nicolas Dilley, Julien Lange (2021)

Details and statistics

DOI: 10.1109/ASE51524.2021.9678571

access: closed

type: Conference or Workshop Paper

metadata version: 2024-05-07