Login / Signup
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