Login / Signup
Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems.
Taras Panchenko
Published in:
ICTERI (2016)
Keyphrases
</>
software systems
real world
software engineering
source code
cooperative
software development
software maintenance
software design