View in EDS PDF Full Text

Strong-separation Logic.

Saved in:
Bibliographic Details
Title: Strong-separation Logic.
Authors: PAGEL, JENS1, ZULEGER, FLORIAN1
Source: ACM Transactions on Programming Languages & Systems; Jul2022, Vol. 44 Issue 3, p1-40, 40p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first