학술논문
The Safety-Critical Java memory model formalised
Document Type
Conference Paper
Author
Source
In: Formal Aspects of Computing . (Formal Aspects of Computing, January 2013, 25(1):37-57)
Subject
Language
English
ISSN
09345043
1433299X
1433299X