IMT journal
Cited workPublicationDocument
Separation Logic: A Logic for Shared Mutable Data Structures
http://libmeta.ru/resource/imt/cited_1574
Данные
| sourceNote | LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science. Pp. 55-74. |
| language | en |
| bibliographicCitation | Reynolds J.C. Separation Logic: A Logic for Shared Mutable Data Structures // LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science. Pp. 55-74. |
author
Входящие связи