Login / Signup
Verifying Concurrent Programs With Shared Data Classes.
Susan S. Owicki
Published in:
Formal Description of Programming Concepts (1977)
Keyphrases
</>
data sets
database
data sources
high level
sensor networks
fine grained