Towards automatic assertion refinement for separation logic
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
11
Link opens in a new tab
Citations
(Scopus)