C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs.
Maksym Bortin
Published in:
CoRR (2020)
Keyphrases
</>
main contribution
probabilistic model
information systems
expert systems
theoretical framework
imperative programs