Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018.
Published in: CS&P (2018)
Keyphrases
- concurrent programming
- reactive systems
- database systems
- programming language
- computer science
- high level
- formal specification
- development environment
- concurrency control
- specification language
- international conference
- general purpose
- object oriented programming
- programming environment
- programming course
- federal government
- lecture notes
- formal verification
- e learning
- united states
- website