학술논문
Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis
Document Type
Article
Author
Source
In: Computer Software . (Computer Software, 2024, 41(1):50-67)
Subject
Language
English
ISSN
02896540