Sign in
The Safety-Critical Java Memory Model: A Formal Account.
Ana Cavalcanti
Andy J. Wellings
Jim Woodcock
Published in:
FM (2011)
Keyphrases
</>
high level
decision making
artificial intelligence
object oriented