Ayesha Sadiq, Yuan-Fang Li, Sea Ling. A survey on the use of access permission-based specifications for program verification. Journal of Systems and Software, 159, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.