IMT journal
Cited workPublicationDocument
Reasoning about Separation Using Abstraction and Reification
http://libmeta.ru/resource/imt/cited_1476
Данные
| sourceNote | SEFM 2015. LNCS 9276. 2015. Pp. 3-19. |
| year | 2015 |
| language | en |
| bibliographicCitation | Jones C.B., Yatapanage N. Reasoning about Separation Using Abstraction and Reification // SEFM 2015. LNCS 9276. 2015. Pp. 3-19. |
author
Входящие связи