Semantics of Programming languages, Semantics and Verification, Formal Languages and Machines, Professional Communication in Computer Science, Algorithms and Data Structures
concurrency theory, verification
This web site has been produced with the support of the European Commission under the Lifelong Learning Programme: 539461-LLP-1-2013-1-BG-ERASMUS-ENW.
It reflects the views only of the authors, and the commission cannot be held responsible for any use which may be made of the information contained therein.
The web site has been visited 270788 times since 27 February 2014.